The rabbit is big. The rabbit is blue. The rabbit is cold. The rabbit is round. The rabbit is young. If the rabbit is cold then the rabbit is blue. All round, cold things are young. Big, cold things are young. Round things are cold. All big, blue things are cold. Young things are big.
The rabbit does not see the rabbit.
@0: The rabbit is big.[(triple1 OR ((triple5) -> rule6) OR ((((triple4 triple3) -> rule2)) -> rule6) OR ((((triple4 ((triple4) -> rule4)) -> rule2)) -> rule6))] The rabbit is blue.[(triple2 OR ((triple3) -> rule1) OR ((((triple4) -> rule4)) -> rule1))] The rabbit is cold.[(triple3 OR ((triple4) -> rule4) OR ((triple1 triple2) -> rule5) OR ((((triple5) -> rule6) triple2) -> rule5))] The rabbit is round.[(triple4)] The rabbit is young.[(triple5 OR ((triple1 triple3) -> rule3) OR ((triple4 triple3) -> rule2) OR ((triple1 ((triple4) -> rule4)) -> rule3) OR ((triple1 ((triple1 triple2) -> rule5)) -> rule3) OR ((triple4 ((triple4) -> rule4)) -> rule2) OR ((triple4 ((triple1 triple2) -> rule5)) -> rule2))]