The mouse chases the rabbit. The mouse is not big. The mouse is cold. The mouse is not kind. The mouse is not round. The mouse is not young. The mouse likes the rabbit. The mouse does not need the rabbit. The rabbit chases the mouse. The rabbit is big. The rabbit does not like the mouse. The rabbit does not need the mouse. If something likes the rabbit then it chases the rabbit. If something likes the rabbit then the rabbit is cold. If something is cold then it likes the rabbit. If something is big then it does not need the rabbit. If the mouse needs the rabbit then the rabbit chases the mouse. If the rabbit likes the mouse and the mouse chases the rabbit then the mouse likes the rabbit. If the rabbit likes the mouse then the rabbit is not big. If the rabbit needs the mouse and the mouse does not chase the rabbit then the rabbit is kind.
The mouse does not like the mouse.
@0: The mouse chases the rabbit.[(triple1 OR ((triple7) -> rule1) OR ((((triple3) -> rule3)) -> rule1))] The mouse does not need the rabbit.[(triple8)] The mouse is cold.[(triple3)] The mouse is not big.[(triple2)] The mouse is not kind.[(triple4)] The mouse is not round.[(triple5)] The mouse is not young.[(triple6)] The mouse likes the rabbit.[(triple7 OR ((triple3) -> rule3))] The rabbit chases the mouse.[(triple9)] The rabbit does not like the mouse.[(triple11)] The rabbit does not need the mouse.[(triple12)] The rabbit is big.[(triple10)] @1: The rabbit does not need the rabbit.[(((triple10) -> rule4))] The rabbit is cold.[(((triple7) -> rule2) OR ((((triple3) -> rule3)) -> rule2))] @2: The rabbit likes the rabbit.[(((((triple7) -> rule2)) -> rule3) OR ((((((triple3) -> rule3)) -> rule2)) -> rule3))] @3: The rabbit chases the rabbit.[(((((((triple7) -> rule2)) -> rule3)) -> rule1) OR ((((((((triple3) -> rule3)) -> rule2)) -> rule3)) -> rule1))]