The cat is green. The cat is not rough. The cat is young. The cat visits the lion. The cow does not chase the tiger. The cow is green. The cow is rough. The lion chases the cow. The tiger chases the cow. The tiger is rough. The tiger does not like the cat. The tiger visits the cat. If something chases the tiger then it chases the lion. If something likes the lion then the lion does not visit the tiger. If something chases the cow then it likes the lion.
The cow visits the cow.
@0: The cat is green.[(triple1)] The cat is not rough.[(triple2)] The cat is young.[(triple3)] The cat visits the lion.[(triple4)] The cow does not chase the tiger.[(triple5)] The cow is green.[(triple6)] The cow is rough.[(triple7)] The lion chases the cow.[(triple8)] The tiger chases the cow.[(triple9)] The tiger does not like the cat.[(triple11)] The tiger is rough.[(triple10)] The tiger visits the cat.[(triple12)] @1: The lion likes the lion.[(((triple8) -> rule3))] The tiger likes the lion.[(((triple9) -> rule3))] @2: The lion does not visit the tiger.[(((((triple8) -> rule3)) -> rule2) OR ((((triple9) -> rule3)) -> rule2))]