The cow is cold. The cow does not like the mouse. The cow needs the mouse. The mouse is big. The mouse is blue. The mouse is cold. The mouse likes the cow. If the cow chases the mouse and the cow needs the mouse then the cow is not young. If the cow is blue then the cow is not big. Big things are cold.
The cow likes the mouse.
@0: The cow does not like the mouse.[(triple2)] The cow is cold.[(triple1)] The cow needs the mouse.[(triple3)] The mouse is big.[(triple4)] The mouse is blue.[(triple5)] The mouse is cold.[(triple6 OR ((triple4) -> rule3))] The mouse likes the cow.[(triple7)]