Lose passende Reime für logical inference program