The cow is round. The squirrel needs the cow. The squirrel sees the cow. If someone visits the cow then they visit the squirrel. If someone is round then they visit the squirrel. If someone needs the squirrel then they visit the squirrel. Big people are nice. If the cow visits the squirrel and the squirrel is nice then the squirrel needs the cow. If the squirrel visits the cow and the squirrel is big then the squirrel is rough. If someone sees the cow then the cow visits the squirrel. If someone visits the cow and they are not rough then they see the squirrel.
The cow needs the cow.
@0: The cow is round.[(triple1)] The squirrel needs the cow.[(triple2)] The squirrel sees the cow.[(triple3)] @1: The cow visits the squirrel.[(((triple1) -> rule2) OR ((triple3) -> rule7))]