The cat eats the rabbit. The cat is young. The mouse does not chase the cat. The mouse chases the rabbit. The mouse eats the cat. The mouse eats the rabbit. The mouse is blue. The mouse sees the cat. The mouse sees the rabbit. The rabbit does not chase the mouse. The rabbit eats the mouse. The rabbit sees the mouse. If something eats the cat and the cat chases the rabbit then the cat is blue. If something sees the cat then it is round. If something sees the mouse then it is round. If something chases the mouse and it does not chase the rabbit then the rabbit is round. If the rabbit is not round and the rabbit does not chase the mouse then the mouse does not see the rabbit. If something chases the mouse then the mouse does not see the rabbit.
The cat eats the rabbit.
@0: The cat eats the rabbit.[(triple1)] The cat is young.[(triple2)] The mouse chases the rabbit.[(triple4)] The mouse does not chase the cat.[(triple3)] The mouse eats the cat.[(triple5)] The mouse eats the rabbit.[(triple6)] The mouse is blue.[(triple7)] The mouse sees the cat.[(triple8)] The mouse sees the rabbit.[(triple9)] The rabbit does not chase the mouse.[(triple10)] The rabbit eats the mouse.[(triple11)] The rabbit sees the mouse.[(triple12)] @1: The mouse is round.[(((triple8) -> rule2))] The rabbit is round.[(((triple12) -> rule3))]