The cow is green. The cow is nice. The cow is red. The cow is round. The cow is young. The cow needs the tiger. The cow sees the tiger. The cow visits the tiger. The tiger is young. The tiger needs the cow. The tiger sees the cow. The tiger visits the cow. If someone visits the tiger then the tiger is round. If someone is round and they need the cow then they see the tiger.
The cow does not need the cow.
@0: The cow is green.[(triple1)] The cow is nice.[(triple2)] The cow is red.[(triple3)] The cow is round.[(triple4)] The cow is young.[(triple5)] The cow needs the tiger.[(triple6)] The cow sees the tiger.[(triple7)] The cow visits the tiger.[(triple8)] The tiger is young.[(triple9)] The tiger needs the cow.[(triple10)] The tiger sees the cow.[(triple11)] The tiger visits the cow.[(triple12)] @1: The tiger is round.[(((triple8) -> rule1))] @2: The tiger sees the tiger.[(((((triple8) -> rule1) triple10) -> rule2))]