The cow is red. The cow needs the tiger. The cow sees the tiger. The cow visits the rabbit. The cow visits the tiger. The rabbit is nice. The rabbit is round. The rabbit needs the cow. The rabbit needs the tiger. The rabbit sees the tiger. The rabbit visits the tiger. The tiger is nice. The tiger is not red. The tiger is round. The tiger sees the cow. The tiger visits the cow. If something is red then it is not nice. If something visits the cow then it needs the cow. If something is red and not nice then it is not green.
The rabbit visits the rabbit.
@0: The cow is red.[(triple1)] The cow needs the tiger.[(triple2)] The cow sees the tiger.[(triple3)] The cow visits the rabbit.[(triple4)] The cow visits the tiger.[(triple5)] The rabbit is nice.[(triple6)] The rabbit is round.[(triple7)] The rabbit needs the cow.[(triple8)] The rabbit needs the tiger.[(triple9)] The rabbit sees the tiger.[(triple10)] The rabbit visits the tiger.[(triple11)] The tiger is nice.[(triple12)] The tiger is not red.[(triple13)] The tiger is round.[(triple14)] The tiger sees the cow.[(triple15)] The tiger visits the cow.[(triple16)] @1: The cow is not nice.[(((triple1) -> rule1))] The tiger needs the cow.[(((triple16) -> rule2))] @2: The cow is not green.[(((triple1 ((triple1) -> rule1)) -> rule3))]