The cow is rough. The squirrel is red. The squirrel sees the cow. If someone sees the squirrel then the squirrel is kind. If someone is rough and they see the squirrel then the squirrel is kind. If someone visits the squirrel then the squirrel needs the cow. If someone visits the squirrel and the squirrel needs the cow then they visit the cow. If the squirrel is rough and the squirrel sees the cow then the squirrel visits the cow. Kind people are not big. If someone sees the squirrel then they see the cow. If someone sees the cow then the cow sees the squirrel.
The cow is red.
@0: The cow is rough.[(triple1)] The squirrel is red.[(triple2)] The squirrel sees the cow.[(triple3)] @1: The cow sees the squirrel.[(((triple3) -> rule8))] @2: The cow sees the cow.[(((((triple3) -> rule8)) -> rule7))] The squirrel is kind.[(((((triple3) -> rule8)) -> rule1) OR ((triple1 ((triple3) -> rule8)) -> rule2))] @3: The squirrel is not big.[(((((((triple3) -> rule8)) -> rule1)) -> rule6) OR ((((triple1 ((triple3) -> rule8)) -> rule2)) -> rule6))]