The cow eats the mouse. The cow is big. The cow is cold. The cow is rough. The cow is round. The cow needs the mouse. The cow sees the mouse. The mouse eats the cow. The mouse is big. The mouse is cold. The mouse is red. The mouse is rough. The mouse is round. The mouse needs the cow. The mouse sees the cow. If someone eats the mouse and the mouse sees the cow then they eat the cow. If someone is round then they see the cow. If someone sees the mouse and the mouse eats the cow then they need the cow.
The cow is cold.
@0: The cow eats the mouse.[(triple1)] The cow is big.[(triple2)] The cow is cold.[(triple3)] The cow is rough.[(triple4)] The cow is round.[(triple5)] The cow needs the mouse.[(triple6)] The cow sees the mouse.[(triple7)] The mouse eats the cow.[(triple8)] The mouse is big.[(triple9)] The mouse is cold.[(triple10)] The mouse is red.[(triple11)] The mouse is rough.[(triple12)] The mouse is round.[(triple13)] The mouse needs the cow.[(triple14)] The mouse sees the cow.[(triple15 OR ((triple13) -> rule2))] @1: The cow eats the cow.[(((triple1 triple15) -> rule1) OR ((triple1 ((triple13) -> rule2)) -> rule1))] The cow needs the cow.[(((triple7 triple8) -> rule3))] The cow sees the cow.[(((triple5) -> rule2))]