The cat eats the mouse. The cat is blue. The cat is nice. The cat likes the dog. The dog eats the cat. The dog eats the rabbit. The dog is blue. The dog is round. The mouse does not like the rabbit. The rabbit eats the mouse. If someone likes the cat then they like the dog. If someone sees the cat then they eat the cat. If someone is red then they eat the rabbit. If someone eats the cat then the cat eats the rabbit. If the cat likes the dog then the cat is round. If someone is nice and they eat the dog then they like the mouse. If someone likes the cat then they are not cold. If someone eats the mouse and the mouse does not like the dog then they are cold.
The dog eats the cat.
@0: The cat eats the mouse.[(triple1)] The cat is blue.[(triple2)] The cat is nice.[(triple3)] The cat likes the dog.[(triple4)] The dog eats the cat.[(triple5)] The dog eats the rabbit.[(triple6)] The dog is blue.[(triple7)] The dog is round.[(triple8)] The mouse does not like the rabbit.[(triple9)] The rabbit eats the mouse.[(triple10)] @1: The cat eats the rabbit.[(((triple5) -> rule4))] The cat is round.[(((triple4) -> rule5))]