The mouse chases the squirrel. The mouse is cold. The mouse is nice. The mouse is red. The mouse likes the squirrel. The mouse visits the squirrel. The squirrel chases the mouse. The squirrel is big. The squirrel is rough. The squirrel likes the mouse. If someone is big then they visit the squirrel. If someone likes the squirrel and they like the mouse then they chase the squirrel. If the squirrel visits the mouse then the squirrel chases the mouse. If someone visits the mouse then they like the mouse. If someone visits the squirrel then they like the squirrel. If someone visits the squirrel and the squirrel is rough then they like the mouse. If someone visits the squirrel and they like the squirrel then the squirrel likes the mouse. If someone is cold then they visit the mouse.
The squirrel is cold.
@0: The mouse chases the squirrel.[(triple1 OR ((triple5 ((triple6 triple9) -> rule6)) -> rule2) OR ((((triple6) -> rule5) ((triple6 triple9) -> rule6)) -> rule2) OR ((triple5 ((((triple2) -> rule8)) -> rule4)) -> rule2) OR ((((triple6) -> rule5) ((((triple2) -> rule8)) -> rule4)) -> rule2))] The mouse is cold.[(triple2)] The mouse is nice.[(triple3)] The mouse is red.[(triple4)] The mouse likes the squirrel.[(triple5 OR ((triple6) -> rule5))] The mouse visits the squirrel.[(triple6)] The squirrel chases the mouse.[(triple7)] The squirrel is big.[(triple8)] The squirrel is rough.[(triple9)] The squirrel likes the mouse.[(triple10 OR ((triple6 triple5) -> rule7) OR ((triple6 ((triple6) -> rule5)) -> rule7) OR ((((triple8) -> rule1) triple9) -> rule6) OR ((((triple8) -> rule1) ((((triple8) -> rule1)) -> rule5)) -> rule7))] @1: The mouse likes the mouse.[(((triple6 triple9) -> rule6) OR ((((triple2) -> rule8)) -> rule4))] The mouse visits the mouse.[(((triple2) -> rule8))] The squirrel visits the squirrel.[(((triple8) -> rule1))] @2: The squirrel likes the squirrel.[(((((triple8) -> rule1)) -> rule5))] @3: The squirrel chases the squirrel.[(((((((triple8) -> rule1)) -> rule5) triple10) -> rule2) OR ((((((triple8) -> rule1)) -> rule5) ((triple6 triple5) -> rule7)) -> rule2) OR ((((((triple8) -> rule1)) -> rule5) ((triple6 ((triple6) -> rule5)) -> rule7)) -> rule2) OR ((((((triple8) -> rule1)) -> rule5) ((((triple8) -> rule1) triple9) -> rule6)) -> rule2) OR ((((((triple8) -> rule1)) -> rule5) ((((triple8) -> rule1) ((((triple8) -> rule1)) -> rule5)) -> rule7)) -> rule2))]