The dog eats the squirrel. The dog is green. The dog is kind. The dog is red. The dog visits the squirrel. The squirrel eats the dog. The squirrel sees the dog. If someone sees the squirrel then the squirrel eats the dog. If someone visits the dog then they see the squirrel. If someone eats the dog then they are big. If someone is green then they are big. If someone visits the squirrel then they are red. If the squirrel is red then the squirrel visits the dog. If someone visits the squirrel then the squirrel is red. If someone is nice and they see the dog then the dog visits the squirrel.
The dog does not see the dog.
@0: The dog eats the squirrel.[(triple1)] The dog is green.[(triple2)] The dog is kind.[(triple3)] The dog is red.[(triple4 OR ((triple5) -> rule5))] The dog visits the squirrel.[(triple5)] The squirrel eats the dog.[(triple6 OR ((((((((triple5) -> rule7)) -> rule6)) -> rule2)) -> rule1))] The squirrel sees the dog.[(triple7)] @1: The dog is big.[(((triple2) -> rule4))] The squirrel is big.[(((triple6) -> rule3) OR ((((((((((triple5) -> rule7)) -> rule6)) -> rule2)) -> rule1)) -> rule3))] The squirrel is red.[(((triple5) -> rule7))] @2: The squirrel visits the dog.[(((((triple5) -> rule7)) -> rule6))] @3: The squirrel sees the squirrel.[(((((((triple5) -> rule7)) -> rule6)) -> rule2))]