The dog eats the mouse. The dog is cold. The dog is young. The mouse eats the dog. The mouse is big. The mouse does not like the dog. The mouse needs the dog. If someone likes the mouse then they are rough. If someone eats the dog and the dog is young then the dog likes the mouse. If someone eats the dog then the dog likes the mouse. If someone is cold then they do not eat the dog. If someone likes the dog and they are rough then the dog eats the mouse. If someone likes the mouse then they are big. If someone needs the mouse and the mouse is not young then the mouse does not need the dog. If someone is big and they do not eat the dog then they need the mouse.
The dog needs the mouse.
@0: The dog eats the mouse.[(triple1)] The dog is cold.[(triple2)] The dog is young.[(triple3)] The mouse does not like the dog.[(triple6)] The mouse eats the dog.[(triple4)] The mouse is big.[(triple5)] The mouse needs the dog.[(triple7)] @1: The dog does not eat the dog.[(((triple2) -> rule4))] The dog likes the mouse.[(((triple4) -> rule3) OR ((triple4 triple3) -> rule2))] @2: The dog is big.[(((((triple4) -> rule3)) -> rule6) OR ((((triple4 triple3) -> rule2)) -> rule6))] The dog is rough.[(((((triple4) -> rule3)) -> rule1) OR ((((triple4 triple3) -> rule2)) -> rule1))] @3: The dog needs the mouse.[(((((((triple4) -> rule3)) -> rule6) ((triple2) -> rule4)) -> rule8) OR ((((((triple4 triple3) -> rule2)) -> rule6) ((triple2) -> rule4)) -> rule8))]