The rabbit chases the tiger. The rabbit is big. The rabbit is not cold. The rabbit is not green. The rabbit is red. The rabbit is not round. The rabbit needs the tiger. The tiger chases the rabbit. The tiger is not red. The tiger visits the rabbit. If the tiger is big and the tiger does not need the rabbit then the rabbit does not chase the tiger. If something is round and not red then it is cold. If something visits the rabbit then it is round. If something chases the tiger and the tiger chases the rabbit then the tiger is not green. If the rabbit is red and the rabbit does not chase the tiger then the tiger chases the rabbit. If something is cold then it does not need the tiger. If something visits the tiger then it does not visit the rabbit. If something chases the tiger and it is green then it visits the tiger.
The rabbit does not need the rabbit.
@0: The rabbit chases the tiger.[(triple1)] The rabbit is big.[(triple2)] The rabbit is not cold.[(triple3)] The rabbit is not green.[(triple4)] The rabbit is not round.[(triple6)] The rabbit is red.[(triple5)] The rabbit needs the tiger.[(triple7)] The tiger chases the rabbit.[(triple8)] The tiger is not red.[(triple9)] The tiger visits the rabbit.[(triple10)] @1: The tiger is not green.[(((triple1 triple8) -> rule4))] The tiger is round.[(((triple10) -> rule3))] @2: The tiger is cold.[(((((triple10) -> rule3) triple9) -> rule2))] @3: The tiger does not need the tiger.[(((((((triple10) -> rule3) triple9) -> rule2)) -> rule6))]