The rabbit is big. The rabbit is cold. The rabbit is green. The rabbit is rough. The rabbit is round. Rough things are green. Round, green things are big. All cold, rough things are round.
The rabbit visits the rabbit.
@0: The rabbit is big.[(triple1 OR ((triple5 triple3) -> rule2) OR ((triple5 ((triple4) -> rule1)) -> rule2) OR ((((triple2 triple4) -> rule3) triple3) -> rule2) OR ((((triple2 triple4) -> rule3) ((triple4) -> rule1)) -> rule2))] The rabbit is cold.[(triple2)] The rabbit is green.[(triple3 OR ((triple4) -> rule1))] The rabbit is rough.[(triple4)] The rabbit is round.[(triple5 OR ((triple2 triple4) -> rule3))]