The cow is cold. The cow is green. The cow is red. The cow is rough. The cow likes the mouse. The cow sees the mouse. The cow visits the mouse. The mouse is cold. The mouse is green. The mouse is nice. The mouse is red. The mouse is rough. The mouse likes the cow. The mouse sees the cow. The mouse visits the cow. If the mouse sees the cow then the mouse likes the cow. If the cow is green then the cow sees the mouse. If something is cold and it visits the mouse then it likes the cow. If something is green then it likes the cow. If something likes the cow then it visits the cow. If something visits the mouse then it sees the mouse.
The mouse does not see the mouse.
@0: The cow is cold.[(triple1)] The cow is green.[(triple2)] The cow is red.[(triple3)] The cow is rough.[(triple4)] The cow likes the mouse.[(triple5)] The cow sees the mouse.[(triple6 OR ((triple2) -> rule2) OR ((triple7) -> rule6))] The cow visits the mouse.[(triple7)] The mouse is cold.[(triple8)] The mouse is green.[(triple9)] The mouse is nice.[(triple10)] The mouse is red.[(triple11)] The mouse is rough.[(triple12)] The mouse likes the cow.[(triple13 OR ((triple14) -> rule1) OR ((triple9) -> rule4))] The mouse sees the cow.[(triple14)] The mouse visits the cow.[(triple15 OR ((triple13) -> rule5) OR ((((triple14) -> rule1)) -> rule5) OR ((((triple9) -> rule4)) -> rule5))] @1: The cow likes the cow.[(((triple2) -> rule4) OR ((triple1 triple7) -> rule3))] @2: The cow visits the cow.[(((((triple2) -> rule4)) -> rule5) OR ((((triple1 triple7) -> rule3)) -> rule5))]