The dog likes the mouse. The dog visits the rabbit. The mouse is big. The mouse is cold. The mouse is rough. The mouse does not need the rabbit. The mouse visits the dog. The rabbit is young. The rabbit does not like the dog. The rabbit visits the mouse. If the mouse likes the dog then the dog does not visit the mouse. If the mouse visits the dog then the dog does not like the rabbit. If the mouse does not need the dog then the mouse needs the rabbit. If something visits the dog and it is young then the dog is cold. If something likes the dog then it needs the rabbit. If something needs the mouse and it likes the mouse then it is rough. If something is cold then it is young. If the mouse visits the rabbit then the rabbit needs the mouse.
The rabbit likes the dog.
@0: The dog likes the mouse.[(triple1)] The dog visits the rabbit.[(triple2)] The mouse does not need the rabbit.[(triple6)] The mouse is big.[(triple3)] The mouse is cold.[(triple4)] The mouse is rough.[(triple5)] The mouse visits the dog.[(triple7)] The rabbit does not like the dog.[(triple9)] The rabbit is young.[(triple8)] The rabbit visits the mouse.[(triple10)] @1: The dog does not like the rabbit.[(((triple7) -> rule2))] The mouse is young.[(((triple4) -> rule7))] @2: The dog is cold.[(((triple7 ((triple4) -> rule7)) -> rule4))] @3: The dog is young.[(((((triple7 ((triple4) -> rule7)) -> rule4)) -> rule7))]