The cow likes the squirrel. The cow sees the squirrel. The squirrel is kind. The squirrel is rough. The squirrel likes the cow. The squirrel needs the cow. The squirrel sees the cow. If someone is rough then they are blue. If someone is rough then they need the cow. If someone is round then they like the cow. If someone sees the squirrel then the squirrel needs the cow. If the cow sees the squirrel then the cow needs the squirrel. If the squirrel needs the cow and the cow needs the squirrel then the squirrel is round. If someone likes the cow and the cow is rough then the cow needs the squirrel. If someone likes the squirrel then the squirrel is rough.
The squirrel needs the squirrel.
@0: The cow likes the squirrel.[(triple1)] The cow sees the squirrel.[(triple2)] The squirrel is kind.[(triple3)] The squirrel is rough.[(triple4 OR ((triple1) -> rule8))] The squirrel likes the cow.[(triple5 OR ((((triple6 ((triple2) -> rule5)) -> rule6)) -> rule3) OR ((((((triple2) -> rule4) ((triple2) -> rule5)) -> rule6)) -> rule3) OR ((((((triple4) -> rule2) ((triple2) -> rule5)) -> rule6)) -> rule3) OR ((((((((triple1) -> rule8)) -> rule2) ((triple2) -> rule5)) -> rule6)) -> rule3))] The squirrel needs the cow.[(triple6 OR ((triple2) -> rule4) OR ((triple4) -> rule2) OR ((((triple1) -> rule8)) -> rule2))] The squirrel sees the cow.[(triple7)] @1: The cow needs the squirrel.[(((triple2) -> rule5))] The squirrel is blue.[(((triple4) -> rule1) OR ((((triple1) -> rule8)) -> rule1))] @2: The squirrel is round.[(((triple6 ((triple2) -> rule5)) -> rule6) OR ((((triple2) -> rule4) ((triple2) -> rule5)) -> rule6) OR ((((triple4) -> rule2) ((triple2) -> rule5)) -> rule6) OR ((((((triple1) -> rule8)) -> rule2) ((triple2) -> rule5)) -> rule6))]