The cat chases the cow. The cat chases the mouse. The cat is cold. The cat is round. The cat is young. The cat likes the cow. The cow chases the cat. The cow chases the mouse. The cow is not big. The cow is cold. The cow is round. The cow is young. The cow likes the cat. The cow sees the cat. The mouse is round. The mouse likes the cow. If something chases the mouse and the mouse is big then the mouse sees the cow. If something sees the mouse then the mouse is big. If something sees the cat then the cat sees the mouse.
The mouse is big.
@0: The cat chases the cow.[(triple1)] The cat chases the mouse.[(triple2)] The cat is cold.[(triple3)] The cat is round.[(triple4)] The cat is young.[(triple5)] The cat likes the cow.[(triple6)] The cow chases the cat.[(triple7)] The cow chases the mouse.[(triple8)] The cow is cold.[(triple10)] The cow is not big.[(triple9)] The cow is round.[(triple11)] The cow is young.[(triple12)] The cow likes the cat.[(triple13)] The cow sees the cat.[(triple14)] The mouse is round.[(triple15)] The mouse likes the cow.[(triple16)] @1: The cat sees the mouse.[(((triple14) -> rule3))] @2: The mouse is big.[(((((triple14) -> rule3)) -> rule2))] @3: The mouse sees the cow.[(((triple2 ((((triple14) -> rule3)) -> rule2)) -> rule1) OR ((triple8 ((((triple14) -> rule3)) -> rule2)) -> rule1))]