The cat eats the mouse. The cat sees the dog. The cat sees the mouse. The cat visits the mouse. The cow is blue. The cow is rough. The cow is round. The cow sees the dog. The cow visits the cat. The cow visits the dog. The dog eats the cat. The dog eats the mouse. The dog is young. The mouse is young. The mouse visits the cow. If someone sees the cat then they are big. If someone sees the dog and they are rough then the dog visits the cow. If the cat is round and the cat sees the cow then the cow sees the dog. If someone visits the mouse then the mouse is rough. If someone visits the cow and the cow is rough then they are big. If someone sees the cow then they are big.
The cow is not big.
@0: The cat eats the mouse.[(triple1)] The cat sees the dog.[(triple2)] The cat sees the mouse.[(triple3)] The cat visits the mouse.[(triple4)] The cow is blue.[(triple5)] The cow is rough.[(triple6)] The cow is round.[(triple7)] The cow sees the dog.[(triple8)] The cow visits the cat.[(triple9)] The cow visits the dog.[(triple10)] The dog eats the cat.[(triple11)] The dog eats the mouse.[(triple12)] The dog is young.[(triple13)] The mouse is young.[(triple14)] The mouse visits the cow.[(triple15)] @1: The dog visits the cow.[(((triple8 triple6) -> rule2))] The mouse is big.[(((triple15 triple6) -> rule5))] The mouse is rough.[(((triple4) -> rule4))] @2: The dog is big.[(((((triple8 triple6) -> rule2) triple6) -> rule5))]