The cat eats the lion. The cat is not blue. The cat is round. The cat does not like the lion. The cat sees the lion. The lion eats the cat. The lion is blue. The lion is rough. The lion is round. The lion is young. The lion does not like the cat. The lion sees the cat. If something eats the lion and it likes the lion then it is round. If the lion eats the cat and the lion is green then the cat likes the lion. If something is green then it is young. If something is green and it does not eat the lion then the lion does not see the cat. If something is young and it eats the cat then the cat is green. If something sees the cat and it does not eat the cat then the cat does not see the lion.
The cat does not eat the lion.
@0: The cat does not like the lion.[(triple4)] The cat eats the lion.[(triple1)] The cat is not blue.[(triple2)] The cat is round.[(triple3)] The cat sees the lion.[(triple5)] The lion does not like the cat.[(triple11)] The lion eats the cat.[(triple6)] The lion is blue.[(triple7)] The lion is rough.[(triple8)] The lion is round.[(triple9)] The lion is young.[(triple10)] The lion sees the cat.[(triple12)] @1: The cat is green.[(((triple10 triple6) -> rule5))] @2: The cat is young.[(((((triple10 triple6) -> rule5)) -> rule3))]