The dog chases the squirrel. The dog eats the squirrel. The dog is blue. The dog is cold. The dog is red. The dog is young. The dog likes the squirrel. The squirrel chases the dog. The squirrel eats the dog. The squirrel is blue. The squirrel is cold. The squirrel is nice. The squirrel is red. The squirrel is young. The squirrel likes the dog. If something chases the squirrel then it eats the squirrel. If something likes the squirrel and the squirrel is nice then it chases the squirrel. If the dog eats the squirrel and the squirrel is red then the squirrel eats the dog. If something is blue then it chases the squirrel. If something eats the squirrel then it likes the squirrel. If the squirrel chases the dog and the dog is young then the squirrel is red.
The squirrel chases the squirrel.
@0: The dog chases the squirrel.[(triple1 OR ((triple3) -> rule4) OR ((triple7 triple12) -> rule2) OR ((((triple2) -> rule5) triple12) -> rule2))] The dog eats the squirrel.[(triple2 OR ((triple1) -> rule1) OR ((((triple3) -> rule4)) -> rule1) OR ((((triple7 triple12) -> rule2)) -> rule1))] The dog is blue.[(triple3)] The dog is cold.[(triple4)] The dog is red.[(triple5)] The dog is young.[(triple6)] The dog likes the squirrel.[(triple7 OR ((triple2) -> rule5) OR ((((triple1) -> rule1)) -> rule5) OR ((((((triple3) -> rule4)) -> rule1)) -> rule5))] The squirrel chases the dog.[(triple8)] The squirrel eats the dog.[(triple9 OR ((triple2 triple13) -> rule3) OR ((triple2 ((triple8 triple6) -> rule6)) -> rule3) OR ((((triple1) -> rule1) triple13) -> rule3) OR ((((triple1) -> rule1) ((triple8 triple6) -> rule6)) -> rule3) OR ((((((triple3) -> rule4)) -> rule1) triple13) -> rule3) OR ((((((triple7 triple12) -> rule2)) -> rule1) triple13) -> rule3) OR ((((((triple3) -> rule4)) -> rule1) ((triple8 triple6) -> rule6)) -> rule3) OR ((((((triple7 triple12) -> rule2)) -> rule1) ((triple8 triple6) -> rule6)) -> rule3))] The squirrel is blue.[(triple10)] The squirrel is cold.[(triple11)] The squirrel is nice.[(triple12)] The squirrel is red.[(triple13 OR ((triple8 triple6) -> rule6))] The squirrel is young.[(triple14)] The squirrel likes the dog.[(triple15)] @1: The squirrel chases the squirrel.[(((triple10) -> rule4))] @2: The squirrel eats the squirrel.[(((((triple10) -> rule4)) -> rule1))] @3: The squirrel likes the squirrel.[(((((((triple10) -> rule4)) -> rule1)) -> rule5))]