The cat visits the squirrel. The cow is round. The squirrel chases the cow. If someone visits the squirrel then the squirrel is big. If someone chases the cow and they are round then they are nice. If someone visits the cat and the cat chases the cow then the cow is round. If someone is nice and round then they visit the cow. If someone visits the cat then the cat sees the squirrel. If someone chases the cat and the cat visits the squirrel then the squirrel chases the cat. If someone is big then they visit the cat. All big people are blue.
The cat does not see the squirrel.
@0: The cat visits the squirrel.[(triple1)] The cow is round.[(triple2)] The squirrel chases the cow.[(triple3)] @1: The squirrel is big.[(((triple1) -> rule1))] @2: The squirrel is blue.[(((((triple1) -> rule1)) -> rule8))] The squirrel visits the cat.[(((((triple1) -> rule1)) -> rule7))] @3: The cat sees the squirrel.[(((((((triple1) -> rule1)) -> rule7)) -> rule5))]