The cow chases the tiger. The cow is blue. The cow is cold. The cow is round. The cow is young. The cow likes the tiger. The cow needs the tiger. The tiger chases the cow. The tiger is blue. The tiger is cold. The tiger is nice. The tiger is round. The tiger is young. The tiger likes the cow. The tiger needs the cow. If something likes the tiger then it chases the cow. If something chases the tiger then the tiger likes the cow. If something is round and it likes the tiger then it is cold. If something is cold then it chases the tiger. If something chases the cow then it needs the cow. If the tiger chases the cow then the tiger needs the cow.
The tiger does not chase the tiger.
@0: The cow chases the tiger.[(triple1 OR ((triple3) -> rule4) OR ((((triple4 triple6) -> rule3)) -> rule4))] The cow is blue.[(triple2)] The cow is cold.[(triple3 OR ((triple4 triple6) -> rule3))] The cow is round.[(triple4)] The cow is young.[(triple5)] The cow likes the tiger.[(triple6)] The cow needs the tiger.[(triple7)] The tiger chases the cow.[(triple8)] The tiger is blue.[(triple9)] The tiger is cold.[(triple10)] The tiger is nice.[(triple11)] The tiger is round.[(triple12)] The tiger is young.[(triple13)] The tiger likes the cow.[(triple14 OR ((triple1) -> rule2) OR ((((triple10) -> rule4)) -> rule2) OR ((((triple3) -> rule4)) -> rule2) OR ((((((triple4 triple6) -> rule3)) -> rule4)) -> rule2))] The tiger needs the cow.[(triple15 OR ((triple8) -> rule5) OR ((triple8) -> rule6))] @1: The cow chases the cow.[(((triple6) -> rule1))] The tiger chases the tiger.[(((triple10) -> rule4))] @2: The cow needs the cow.[(((((triple6) -> rule1)) -> rule5))]