The dog chases the mouse. The dog eats the squirrel. The dog is red. The dog is round. The dog sees the mouse. The mouse chases the dog. The mouse eats the dog. The mouse eats the squirrel. The mouse is cold. The mouse sees the dog. The squirrel chases the mouse. The squirrel eats the mouse. The squirrel is red. The squirrel is rough. The squirrel sees the dog. The squirrel sees the mouse. If the dog eats the mouse and the mouse chases the squirrel then the squirrel is red. If someone sees the mouse and the mouse chases the squirrel then the squirrel is round. If someone eats the dog and they see the dog then the dog is kind. If someone is cold then they are kind. If someone is kind and they see the dog then they eat the dog. If someone sees the squirrel then the squirrel sees the dog. If the dog eats the mouse and the mouse chases the dog then the dog eats the squirrel. If someone sees the dog then they are cold.
The dog is kind.
@0: The dog chases the mouse.[(triple1)] The dog eats the squirrel.[(triple2)] The dog is red.[(triple3)] The dog is round.[(triple4)] The dog sees the mouse.[(triple5)] The mouse chases the dog.[(triple6)] The mouse eats the dog.[(triple7 OR ((((triple9) -> rule4) triple10) -> rule5) OR ((((((triple10) -> rule8)) -> rule4) triple10) -> rule5))] The mouse eats the squirrel.[(triple8)] The mouse is cold.[(triple9 OR ((triple10) -> rule8))] The mouse sees the dog.[(triple10)] The squirrel chases the mouse.[(triple11)] The squirrel eats the mouse.[(triple12)] The squirrel is red.[(triple13)] The squirrel is rough.[(triple14)] The squirrel sees the dog.[(triple15)] The squirrel sees the mouse.[(triple16)] @1: The dog is kind.[(((triple7 triple10) -> rule3) OR ((((((triple9) -> rule4) triple10) -> rule5) triple10) -> rule3) OR ((((((((triple10) -> rule8)) -> rule4) triple10) -> rule5) triple10) -> rule3) OR ((((((((triple15) -> rule8)) -> rule4) triple15) -> rule5) triple15) -> rule3))] The mouse is kind.[(((triple9) -> rule4) OR ((((triple10) -> rule8)) -> rule4))] The squirrel is cold.[(((triple15) -> rule8))] @2: The squirrel is kind.[(((((triple15) -> rule8)) -> rule4))] @3: The squirrel eats the dog.[(((((((triple15) -> rule8)) -> rule4) triple15) -> rule5))]