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