The cow is blue. The cow is cold. The cow is green. The cow is kind. The cow is nice. The cow likes the mouse. The cow needs the mouse. The cow visits the mouse. The mouse is blue. The mouse is cold. The mouse is green. The mouse is not kind. The mouse is nice. The mouse does not like the cow. The mouse needs the cow. The mouse does not visit the cow. If someone needs the mouse then they visit the cow. If someone likes the mouse then the mouse is cold. If someone likes the mouse and they do not like the cow then the cow is cold.
The mouse likes the mouse.
@0: The cow is blue.[(triple1)] The cow is cold.[(triple2)] The cow is green.[(triple3)] The cow is kind.[(triple4)] The cow is nice.[(triple5)] The cow likes the mouse.[(triple6)] The cow needs the mouse.[(triple7)] The cow visits the mouse.[(triple8)] The mouse does not like the cow.[(triple14)] The mouse does not visit the cow.[(triple16)] The mouse is blue.[(triple9)] The mouse is cold.[(triple10 OR ((triple6) -> rule2))] The mouse is green.[(triple11)] The mouse is nice.[(triple13)] The mouse is not kind.[(triple12)] The mouse needs the cow.[(triple15)] @1: The cow visits the cow.[(((triple7) -> rule1))]