The cat chases the cow. The cow chases the tiger. The cow is rough. The cow is young. The dog is kind. The dog sees the cat. The tiger visits the cat. If something visits the cat then it is rough. If something sees the dog then the dog visits the cat. If something chases the dog and it visits the tiger then the tiger chases the dog. If something visits the dog and it sees the dog then it does not chase the cow. If something is blue then it sees the cow. If something visits the tiger and the tiger sees the dog then it does not visit the cat. If the dog sees the cat then the cat sees the dog. If the cat is young and the cow does not see the cat then the cat chases the dog.
The cat is young.
@0: The cat chases the cow.[(triple1)] The cow chases the tiger.[(triple2)] The cow is rough.[(triple3)] The cow is young.[(triple4)] The dog is kind.[(triple5)] The dog sees the cat.[(triple6)] The tiger visits the cat.[(triple7)] @1: The cat sees the dog.[(((triple6) -> rule7))] The tiger is rough.[(((triple7) -> rule1))] @2: The dog visits the cat.[(((((triple6) -> rule7)) -> rule2))] @3: The dog is rough.[(((((((triple6) -> rule7)) -> rule2)) -> rule1))]