The squirrel is kind. The squirrel is rough. The squirrel visits the tiger. The tiger is big. The tiger is rough. The tiger needs the squirrel. The tiger visits the squirrel. If something needs the tiger and it does not eat the squirrel then the squirrel is not round. If something needs the squirrel and it is green then the squirrel needs the tiger. If the squirrel does not eat the tiger then the squirrel does not need the tiger. Rough things are green. If something needs the tiger then it needs the squirrel. If something is green and it visits the tiger then the tiger needs the squirrel.
The squirrel is not green.
@0: The squirrel is kind.[(triple1)] The squirrel is rough.[(triple2)] The squirrel visits the tiger.[(triple3)] The tiger is big.[(triple4)] The tiger is rough.[(triple5)] The tiger needs the squirrel.[(triple6 OR ((((triple2) -> rule4) triple3) -> rule6))] The tiger visits the squirrel.[(triple7)] @1: The squirrel is green.[(((triple2) -> rule4))] The tiger is green.[(((triple5) -> rule4))] @2: The squirrel needs the tiger.[(((triple6 ((triple5) -> rule4)) -> rule2) OR ((((((triple2) -> rule4) triple3) -> rule6) ((triple5) -> rule4)) -> rule2))] @3: The squirrel needs the squirrel.[(((((triple6 ((triple5) -> rule4)) -> rule2)) -> rule5) OR ((((((((triple2) -> rule4) triple3) -> rule6) ((triple5) -> rule4)) -> rule2)) -> rule5))]