The dog eats the mouse. The dog is cold. The dog is nice. The dog is rough. The dog is young. The dog likes the mouse. The dog visits the mouse. The mouse eats the dog. The mouse is cold. The mouse is rough. If something likes the mouse then the mouse is rough. If something visits the mouse then the mouse is young.
The mouse is rough.
@0: The dog eats the mouse.[(triple1)] The dog is cold.[(triple2)] The dog is nice.[(triple3)] The dog is rough.[(triple4)] The dog is young.[(triple5)] The dog likes the mouse.[(triple6)] The dog visits the mouse.[(triple7)] The mouse eats the dog.[(triple8)] The mouse is cold.[(triple9)] The mouse is rough.[(triple10 OR ((triple6) -> rule1))] @1: The mouse is young.[(((triple7) -> rule2))]