The dog is red. The mouse sees the squirrel. The rabbit chases the dog. The rabbit is cold. The squirrel chases the dog. The squirrel chases the mouse. The squirrel chases the rabbit. The squirrel eats the mouse. The squirrel eats the rabbit. The squirrel is blue. If something chases the dog then it is cold. If something is rough then it chases the mouse. If something eats the squirrel then the squirrel eats the dog. If something chases the rabbit then the rabbit is blue. If something eats the mouse and it chases the rabbit then the mouse eats the dog. If something is cold and it chases the mouse then it eats the squirrel. If something eats the dog and it is nice then it eats the rabbit. If something chases the mouse then it is cold.
The squirrel is not nice.
@0: The dog is red.[(triple1)] The mouse sees the squirrel.[(triple2)] The rabbit chases the dog.[(triple3)] The rabbit is cold.[(triple4 OR ((triple3) -> rule1))] The squirrel chases the dog.[(triple5)] The squirrel chases the mouse.[(triple6)] The squirrel chases the rabbit.[(triple7)] The squirrel eats the mouse.[(triple8)] The squirrel eats the rabbit.[(triple9)] The squirrel is blue.[(triple10)] @1: The mouse eats the dog.[(((triple8 triple7) -> rule5))] The rabbit is blue.[(((triple7) -> rule4))] The squirrel is cold.[(((triple5) -> rule1) OR ((triple6) -> rule8))] @2: The squirrel eats the squirrel.[(((((triple5) -> rule1) triple6) -> rule6) OR ((((triple6) -> rule8) triple6) -> rule6))] @3: The squirrel eats the dog.[(((((((triple5) -> rule1) triple6) -> rule6)) -> rule3) OR ((((((triple6) -> rule8) triple6) -> rule6)) -> rule3))]