The dog eats the squirrel. The dog is blue. The dog is cold. The dog is nice. The dog is red. The dog is rough. The dog sees the squirrel. The dog visits the squirrel. The squirrel eats the dog. The squirrel is blue. The squirrel is cold. The squirrel is nice. The squirrel is rough. The squirrel sees the dog. The squirrel visits the dog. If the squirrel visits the dog and the dog is red then the squirrel is nice. Nice people are blue. If someone eats the squirrel and they are nice then the squirrel is blue. If the squirrel eats the dog and the dog eats the squirrel then the squirrel visits the dog. If the dog eats the squirrel and the squirrel eats the dog then the dog sees the squirrel. If someone eats the squirrel and the squirrel visits the dog then the squirrel is red. If someone eats the squirrel then the squirrel is nice. If the dog eats the squirrel and the squirrel eats the dog then the squirrel is rough.
The dog eats the dog.
@0: The dog eats the squirrel.[(triple1)] The dog is blue.[(triple2 OR ((triple4) -> rule2))] The dog is cold.[(triple3)] The dog is nice.[(triple4)] The dog is red.[(triple5)] The dog is rough.[(triple6)] The dog sees the squirrel.[(triple7 OR ((triple1 triple9) -> rule5))] The dog visits the squirrel.[(triple8)] The squirrel eats the dog.[(triple9)] The squirrel is blue.[(triple10 OR ((triple12) -> rule2) OR ((triple1 triple4) -> rule3) OR ((((triple1) -> rule7)) -> rule2) OR ((((triple15 triple5) -> rule1)) -> rule2) OR ((((((triple9 triple1) -> rule4) triple5) -> rule1)) -> rule2))] The squirrel is cold.[(triple11)] The squirrel is nice.[(triple12 OR ((triple1) -> rule7) OR ((triple15 triple5) -> rule1) OR ((((triple9 triple1) -> rule4) triple5) -> rule1))] The squirrel is rough.[(triple13 OR ((triple1 triple9) -> rule8))] The squirrel sees the dog.[(triple14)] The squirrel visits the dog.[(triple15 OR ((triple9 triple1) -> rule4))] @1: The squirrel is red.[(((triple1 triple15) -> rule6) OR ((triple1 ((triple9 triple1) -> rule4)) -> rule6))]