The cat is big. The cat is blue. The cat likes the lion. The lion is nice. The lion is red. The lion likes the cat. The lion does not see the cat. The lion sees the mouse. The mouse eats the cat. The mouse is green. If the cat eats the mouse then the cat sees the lion. If the mouse eats the cat and the cat sees the mouse then the cat eats the lion. Big people are red.
The cat does not eat the lion.
@0: The cat is big.[(triple1)] The cat is blue.[(triple2)] The cat likes the lion.[(triple3)] The lion does not see the cat.[(triple7)] The lion is nice.[(triple4)] The lion is red.[(triple5)] The lion likes the cat.[(triple6)] The lion sees the mouse.[(triple8)] The mouse eats the cat.[(triple9)] The mouse is green.[(triple10)] @1: The cat is red.[(((triple1) -> rule3))]