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