The dog chases the squirrel. The dog eats the squirrel. The dog is green. The dog is kind. The dog is rough. The dog sees the squirrel. The squirrel chases the dog. The squirrel is blue. The squirrel is cold. The squirrel is kind. The squirrel is rough. The squirrel sees the dog. If something sees the squirrel then it is kind. If something is rough and it eats the dog then it chases the dog. If something eats the squirrel and the squirrel chases the dog then the dog chases the squirrel. All rough things are cold. If something is green and it sees the dog then the dog is rough. If something chases the squirrel and it is cold then it eats the dog.
The squirrel chases the squirrel.
@0: The dog chases the squirrel.[(triple1 OR ((triple2 triple7) -> rule3))] The dog eats the squirrel.[(triple2)] The dog is green.[(triple3)] The dog is kind.[(triple4 OR ((triple6) -> rule1))] The dog is rough.[(triple5)] The dog sees the squirrel.[(triple6)] The squirrel chases the dog.[(triple7)] The squirrel is blue.[(triple8)] The squirrel is cold.[(triple9 OR ((triple11) -> rule4))] The squirrel is kind.[(triple10)] The squirrel is rough.[(triple11)] The squirrel sees the dog.[(triple12)] @1: The dog is cold.[(((triple5) -> rule4))] @2: The dog eats the dog.[(((triple1 ((triple5) -> rule4)) -> rule6) OR ((((triple2 triple7) -> rule3) ((triple5) -> rule4)) -> rule6))] @3: The dog chases the dog.[(((triple5 ((triple1 ((triple5) -> rule4)) -> rule6)) -> rule2) OR ((triple5 ((((triple2 triple7) -> rule3) ((triple5) -> rule4)) -> rule6)) -> rule2))]