The dog chases the mouse. The dog needs the rabbit. The mouse does not eat the rabbit. The rabbit chases the mouse. The rabbit eats the mouse. The rabbit is big. The rabbit is young. If the mouse needs the dog then the mouse needs the rabbit. If something chases the mouse and it eats the mouse then the mouse is rough. All nice things are big. If the mouse does not chase the rabbit then the rabbit does not eat the dog. If something is cold and it does not eat the mouse then the mouse does not need the dog. If something eats the rabbit and the rabbit does not chase the dog then the dog does not chase the rabbit. Rough things are nice. If something chases the mouse then it needs the rabbit.
The mouse does not eat the rabbit.
@0: The dog chases the mouse.[(triple1)] The dog needs the rabbit.[(triple2 OR ((triple1) -> rule8))] The mouse does not eat the rabbit.[(triple3)] The rabbit chases the mouse.[(triple4)] The rabbit eats the mouse.[(triple5)] The rabbit is big.[(triple6)] The rabbit is young.[(triple7)] @1: The mouse is rough.[(((triple4 triple5) -> rule2))] The rabbit needs the rabbit.[(((triple4) -> rule8))] @2: The mouse is nice.[(((((triple4 triple5) -> rule2)) -> rule7))] @3: The mouse is big.[(((((((triple4 triple5) -> rule2)) -> rule7)) -> rule3))]