The cow is blue. The cow is not kind. The cow visits the mouse. The mouse chases the cow. The mouse is blue. The mouse is cold. The mouse is kind. The mouse is not round. The mouse sees the cow. The mouse visits the cow. If something is cold and it sees the cow then the cow chases the mouse.
The cow does not visit the cow.
@0: The cow is blue.[(triple1)] The cow is not kind.[(triple2)] The cow visits the mouse.[(triple3)] The mouse chases the cow.[(triple4)] The mouse is blue.[(triple5)] The mouse is cold.[(triple6)] The mouse is kind.[(triple7)] The mouse is not round.[(triple8)] The mouse sees the cow.[(triple9)] The mouse visits the cow.[(triple10)] @1: The cow chases the mouse.[(((triple6 triple9) -> rule1))]