The dog eats the squirrel. The dog is red. The dog is young. The dog sees the squirrel. The squirrel eats the dog. The squirrel is round. The squirrel sees the dog. If someone visits the dog and they see the squirrel then they visit the squirrel. If someone visits the squirrel then the squirrel visits the dog. If someone eats the squirrel and the squirrel visits the dog then the squirrel is kind. If someone eats the dog then the dog is big. If someone visits the squirrel and they eat the dog then they visit the dog. If someone sees the dog then the dog eats the squirrel. If someone is red and they visit the dog then the dog sees the squirrel. If someone is young then they visit the squirrel.
The squirrel is not kind.
@0: The dog eats the squirrel.[(triple1 OR ((triple7) -> rule6))] The dog is red.[(triple2)] The dog is young.[(triple3)] The dog sees the squirrel.[(triple4)] The squirrel eats the dog.[(triple5)] The squirrel is round.[(triple6)] The squirrel sees the dog.[(triple7)] @1: The dog is big.[(((triple5) -> rule4))] The dog visits the squirrel.[(((triple3) -> rule8))] @2: The squirrel visits the dog.[(((((triple3) -> rule8)) -> rule2))] @3: The squirrel is kind.[(((triple1 ((((triple3) -> rule8)) -> rule2)) -> rule3) OR ((((triple7) -> rule6) ((((triple3) -> rule8)) -> rule2)) -> rule3))]