The cat eats the lion. The cat is nice. The cat is red. The cat is rough. The cat likes the lion. The cat sees the lion. The lion is nice. If something sees the lion then it eats the cat.
The lion does not eat the cat.
@0: The cat eats the lion.[(triple1)] The cat is nice.[(triple2)] The cat is red.[(triple3)] The cat is rough.[(triple4)] The cat likes the lion.[(triple5)] The cat sees the lion.[(triple6)] The lion is nice.[(triple7)] @1: The cat eats the cat.[(((triple6) -> rule1))]