The rabbit is big. The rabbit is cold. The rabbit is kind. The rabbit is nice. The rabbit is young. If something is young then it is big. If something is big then it is young. All young, cold things are big. If the rabbit is cold and the rabbit is nice then the rabbit is big. Young things are kind. All nice, big things are kind.
The rabbit chases the rabbit.
@0: The rabbit is big.[(triple1 OR ((triple5) -> rule1) OR ((triple2 triple4) -> rule4) OR ((triple5 triple2) -> rule3))] The rabbit is cold.[(triple2)] The rabbit is kind.[(triple3 OR ((triple5) -> rule5) OR ((triple4 triple1) -> rule6) OR ((((triple1) -> rule2)) -> rule5) OR ((triple4 ((triple5) -> rule1)) -> rule6) OR ((triple4 ((triple2 triple4) -> rule4)) -> rule6) OR ((triple4 ((triple5 triple2) -> rule3)) -> rule6) OR ((((((triple2 triple4) -> rule4)) -> rule2)) -> rule5))] The rabbit is nice.[(triple4)] The rabbit is young.[(triple5 OR ((triple1) -> rule2) OR ((((triple2 triple4) -> rule4)) -> rule2))]