The cat chases the cow. The cat eats the lion. The cat is round. The cat is young. The cat likes the cow. The cat likes the lion. The cow chases the cat. The cow is big. The lion eats the cat. The lion eats the cow. The lion is blue. The lion likes the cat. If the cat chases the cow and the cat is nice then the cat is big. If something likes the cow then the cow is young. If something chases the lion then it is blue. If something is blue then it likes the cow. If something is big then it chases the lion. If something eats the cow and the cow likes the lion then it likes the cow.
The lion does not like the cow.
@0: The cat chases the cow.[(triple1)] The cat eats the lion.[(triple2)] The cat is round.[(triple3)] The cat is young.[(triple4)] The cat likes the cow.[(triple5)] The cat likes the lion.[(triple6)] The cow chases the cat.[(triple7)] The cow is big.[(triple8)] The lion eats the cat.[(triple9)] The lion eats the cow.[(triple10)] The lion is blue.[(triple11)] The lion likes the cat.[(triple12)] @1: The cow chases the lion.[(((triple8) -> rule5))] The cow is young.[(((triple5) -> rule2) OR ((((triple11) -> rule4)) -> rule2) OR ((((((((triple8) -> rule5)) -> rule3)) -> rule4)) -> rule2))] The lion likes the cow.[(((triple11) -> rule4))] @2: The cow is blue.[(((((triple8) -> rule5)) -> rule3))] @3: The cow likes the cow.[(((((((triple8) -> rule5)) -> rule3)) -> rule4))]