The mouse is not big. The mouse needs the rabbit. The mouse needs the squirrel. The mouse does not visit the squirrel. The rabbit is not big. The rabbit is blue. The rabbit is round. The rabbit likes the squirrel. The rabbit needs the mouse. The rabbit needs the squirrel. The rabbit visits the squirrel. The squirrel likes the mouse. The squirrel needs the rabbit. The squirrel visits the mouse. The squirrel visits the rabbit. If something is round then it needs the squirrel. If something needs the mouse then the mouse does not like the squirrel. If something is blue and round then it needs the rabbit. If something visits the mouse and it is nice then it visits the rabbit. Blue things are not nice. If something likes the squirrel and it needs the rabbit then the squirrel is round.
The rabbit likes the mouse.
@0: The mouse does not visit the squirrel.[(triple4)] The mouse is not big.[(triple1)] The mouse needs the rabbit.[(triple2)] The mouse needs the squirrel.[(triple3)] The rabbit is blue.[(triple6)] The rabbit is not big.[(triple5)] The rabbit is round.[(triple7)] The rabbit likes the squirrel.[(triple8)] The rabbit needs the mouse.[(triple9)] The rabbit needs the squirrel.[(triple10 OR ((triple7) -> rule1))] The rabbit visits the squirrel.[(triple11)] The squirrel likes the mouse.[(triple12)] The squirrel needs the rabbit.[(triple13)] The squirrel visits the mouse.[(triple14)] The squirrel visits the rabbit.[(triple15)] @1: The mouse does not like the squirrel.[(((triple9) -> rule2))] The rabbit is not nice.[(((triple6) -> rule5))] The rabbit needs the rabbit.[(((triple6 triple7) -> rule3))] @2: The squirrel is round.[(((triple8 ((triple6 triple7) -> rule3)) -> rule6))] @3: The squirrel needs the squirrel.[(((((triple8 ((triple6 triple7) -> rule3)) -> rule6)) -> rule1))]