The cat is blue. The cat is young. The cat likes the cow. The cat needs the lion. The cow eats the cat. The cow needs the cat. The cow needs the lion. The lion eats the cat. The lion is nice. The lion likes the cow. The lion needs the cat. The lion needs the cow. If something eats the cow and it likes the lion then the lion is blue. If something likes the cat then it is blue. If something is red then it eats the cat. If something likes the cow then it is nice. If something likes the lion and it likes the cat then the lion eats the cat. If something is nice and young then it needs the cat.
The cat does not need the cat.
@0: The cat is blue.[(triple1)] The cat is young.[(triple2)] The cat likes the cow.[(triple3)] The cat needs the lion.[(triple4)] The cow eats the cat.[(triple5)] The cow needs the cat.[(triple6)] The cow needs the lion.[(triple7)] The lion eats the cat.[(triple8)] The lion is nice.[(triple9 OR ((triple10) -> rule4))] The lion likes the cow.[(triple10)] The lion needs the cat.[(triple11)] The lion needs the cow.[(triple12)] @1: The cat is nice.[(((triple3) -> rule4))] @2: The cat needs the cat.[(((((triple3) -> rule4) triple2) -> rule6))]