The rabbit is cold. The rabbit is green. The rabbit is red. The rabbit is round. The rabbit is young. Red people are young. All round people are green. If the rabbit is young then the rabbit is green.
The rabbit eats the rabbit.
@0: The rabbit is cold.[(triple1)] The rabbit is green.[(triple2 OR ((triple4) -> rule2) OR ((triple5) -> rule3) OR ((((triple3) -> rule1)) -> rule3))] The rabbit is red.[(triple3)] The rabbit is round.[(triple4)] The rabbit is young.[(triple5 OR ((triple3) -> rule1))]