The cow is kind. The cow is nice. The cow is rough. The cow needs the mouse. The cow sees the mouse. The cow visits the mouse. The mouse is kind. The mouse is nice. The mouse sees the cow. The mouse visits the cow. If something visits the mouse then it needs the mouse. If something needs the cow and it is kind then the cow visits the mouse. If something needs the cow and the cow visits the mouse then it sees the cow. If the mouse visits the cow then the cow is blue. If something sees the cow and it needs the cow then the cow visits the mouse. If something is cold then it needs the cow.
The cow is nice.
@0: The cow is kind.[(triple1)] The cow is nice.[(triple2)] The cow is rough.[(triple3)] The cow needs the mouse.[(triple4 OR ((triple6) -> rule1))] The cow sees the mouse.[(triple5)] The cow visits the mouse.[(triple6)] The mouse is kind.[(triple7)] The mouse is nice.[(triple8)] The mouse sees the cow.[(triple9)] The mouse visits the cow.[(triple10)] @1: The cow is blue.[(((triple10) -> rule4))]