The rabbit eats the tiger. The rabbit is big. The rabbit is cold. The rabbit is kind. The rabbit is nice. The rabbit is young. The rabbit sees the tiger. The rabbit visits the tiger. The tiger is young. The tiger visits the rabbit. If something is cold then it eats the tiger. If something visits the tiger and it sees the tiger then the tiger is cold.
The tiger is cold.
@0: The rabbit eats the tiger.[(triple1 OR ((triple3) -> rule1))] The rabbit is big.[(triple2)] The rabbit is cold.[(triple3)] The rabbit is kind.[(triple4)] The rabbit is nice.[(triple5)] The rabbit is young.[(triple6)] The rabbit sees the tiger.[(triple7)] The rabbit visits the tiger.[(triple8)] The tiger is young.[(triple9)] The tiger visits the rabbit.[(triple10)] @1: The tiger is cold.[(((triple8 triple7) -> rule2))] @2: The tiger eats the tiger.[(((((triple8 triple7) -> rule2)) -> rule1))]