The cat eats the lion. The cat is nice. The cat is young. The cat sees the lion. The lion eats the cat. The lion is big. The lion is nice. The lion is not rough. The lion needs the cat. The lion sees the cat. If something is nice and it eats the lion then the lion needs the cat. If the cat needs the lion and the cat is blue then the lion sees the cat. If something eats the lion and the lion does not need the cat then the lion is big.
The lion sees the lion.
@0: The cat eats the lion.[(triple1)] The cat is nice.[(triple2)] The cat is young.[(triple3)] The cat sees the lion.[(triple4)] The lion eats the cat.[(triple5)] The lion is big.[(triple6)] The lion is nice.[(triple7)] The lion is not rough.[(triple8)] The lion needs the cat.[(triple9 OR ((triple2 triple1) -> rule1))] The lion sees the cat.[(triple10)]