The cow is round. The cow is not young. The cow likes the mouse. The cow likes the rabbit. The cow does not see the mouse. The cow sees the rabbit. The mouse eats the cow. The mouse is cold. The mouse is red. The mouse is not young. The mouse does not like the cow. The mouse likes the rabbit. The mouse sees the cow. The rabbit likes the mouse. The rabbit does not see the cow. If something is cold then it eats the mouse. If something is rough and red then it sees the rabbit. If something eats the mouse then it is rough. If something likes the cow then the cow sees the rabbit. Rough, young things are round. If the cow does not eat the mouse and the cow does not see the rabbit then the mouse is round.
The mouse sees the rabbit.
@0: The cow does not see the mouse.[(triple5)] The cow is not young.[(triple2)] The cow is round.[(triple1)] The cow likes the mouse.[(triple3)] The cow likes the rabbit.[(triple4)] The cow sees the rabbit.[(triple6)] The mouse does not like the cow.[(triple11)] The mouse eats the cow.[(triple7)] The mouse is cold.[(triple8)] The mouse is not young.[(triple10)] The mouse is red.[(triple9)] The mouse likes the rabbit.[(triple12)] The mouse sees the cow.[(triple13)] The rabbit does not see the cow.[(triple15)] The rabbit likes the mouse.[(triple14)] @1: The mouse eats the mouse.[(((triple8) -> rule1))] @2: The mouse is rough.[(((((triple8) -> rule1)) -> rule3))] @3: The mouse sees the rabbit.[(((((((triple8) -> rule1)) -> rule3) triple9) -> rule2))]