The cat is big. The cow chases the cat. The cow is blue. The mouse eats the cat. The mouse is kind. The mouse sees the squirrel. The squirrel chases the mouse. The squirrel eats the cow. The squirrel eats the mouse. The squirrel sees the cat. If something sees the cat then it eats the cow.
The mouse sees the squirrel.
@0: The cat is big.[(triple1)] The cow chases the cat.[(triple2)] The cow is blue.[(triple3)] The mouse eats the cat.[(triple4)] The mouse is kind.[(triple5)] The mouse sees the squirrel.[(triple6)] The squirrel chases the mouse.[(triple7)] The squirrel eats the cow.[(triple8 OR ((triple10) -> rule1))] The squirrel eats the mouse.[(triple9)] The squirrel sees the cat.[(triple10)]