The cow is not big. The dog is big. The dog likes the tiger. The dog visits the cow. The rabbit is not big. The rabbit is green. The rabbit sees the dog. The rabbit visits the dog. The tiger is young. The tiger sees the dog. If someone visits the tiger and the tiger is not nice then they like the cow. If the tiger visits the cow and the tiger is young then the cow is green. If someone is green then they do not like the tiger. If the tiger is young then the tiger visits the cow. If someone likes the tiger then they do not see the cow. If someone sees the tiger then the tiger sees the cow.
The dog does not like the dog.
@0: The cow is not big.[(triple1)] The dog is big.[(triple2)] The dog likes the tiger.[(triple3)] The dog visits the cow.[(triple4)] The rabbit is green.[(triple6)] The rabbit is not big.[(triple5)] The rabbit sees the dog.[(triple7)] The rabbit visits the dog.[(triple8)] The tiger is young.[(triple9)] The tiger sees the dog.[(triple10)] @1: The dog does not see the cow.[(((triple3) -> rule5))] The rabbit does not like the tiger.[(((triple6) -> rule3))] The tiger visits the cow.[(((triple9) -> rule4))] @2: The cow is green.[(((((triple9) -> rule4) triple9) -> rule2))] @3: The cow does not like the tiger.[(((((((triple9) -> rule4) triple9) -> rule2)) -> rule3))]