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