The cat sees the lion. The cow eats the cat. The cow needs the cat. The lion eats the cow. The lion is big. The lion is kind. The lion is nice. The lion needs the cat. The lion needs the cow. The lion sees the cat. If something needs the lion and it is rough then the lion is rough. If something is kind and it needs the cat then the cat is kind. If the cat is kind and the cat eats the cow then the cat sees the cow. If something sees the lion and the lion needs the cow then it is round. If something is round and rough then it needs the cow. If something sees the lion and the lion is nice then it sees the cat. If something needs the lion and it is kind then it is nice. If something eats the lion then it sees the cat.
The lion does not see the cat.
@0: The cat sees the lion.[(triple1)] The cow eats the cat.[(triple2)] The cow needs the cat.[(triple3)] The lion eats the cow.[(triple4)] The lion is big.[(triple5)] The lion is kind.[(triple6)] The lion is nice.[(triple7)] The lion needs the cat.[(triple8)] The lion needs the cow.[(triple9)] The lion sees the cat.[(triple10)] @1: The cat is kind.[(((triple6 triple8) -> rule2))] The cat is round.[(((triple1 triple9) -> rule4))] The cat sees the cat.[(((triple1 triple7) -> rule6))]