The cow is big. The cow needs the dog. The cow visits the dog. The cow visits the mouse. The dog sees the cow. The mouse sees the dog. The mouse visits the dog. If someone is cold and they visit the mouse then the mouse is round. If someone visits the dog then the dog is nice.
The cow is cold.
@0: The cow is big.[(triple1)] The cow needs the dog.[(triple2)] The cow visits the dog.[(triple3)] The cow visits the mouse.[(triple4)] The dog sees the cow.[(triple5)] The mouse sees the dog.[(triple6)] The mouse visits the dog.[(triple7)] @1: The dog is nice.[(((triple3) -> rule2) OR ((triple7) -> rule2))]