The mouse eats the squirrel. The mouse is cold. The mouse is red. The mouse is round. The mouse likes the squirrel. The mouse needs the squirrel. The squirrel eats the mouse. The squirrel is kind. The squirrel is red. The squirrel is round. If something is red and it likes the squirrel then it needs the squirrel. If something eats the squirrel then it is red. If something needs the mouse then it likes the squirrel. If something eats the mouse and the mouse likes the squirrel then the squirrel is red. If something eats the squirrel and it is round then it needs the mouse. If something eats the mouse and it is red then the mouse needs the squirrel. If something eats the squirrel then the squirrel needs the mouse. If something needs the squirrel and it is red then it likes the squirrel.
The squirrel is not big.
@0: The mouse eats the squirrel.[(triple1)] The mouse is cold.[(triple2)] The mouse is red.[(triple3 OR ((triple1) -> rule2))] The mouse is round.[(triple4)] The mouse likes the squirrel.[(triple5 OR ((triple6 triple3) -> rule8) OR ((((triple1 triple4) -> rule5)) -> rule3) OR ((triple6 ((triple1) -> rule2)) -> rule8) OR ((((triple7 triple9) -> rule6) triple3) -> rule8) OR ((((triple7 triple9) -> rule6) ((triple1) -> rule2)) -> rule8))] The mouse needs the squirrel.[(triple6 OR ((triple3 triple5) -> rule1) OR ((triple7 triple9) -> rule6) OR ((triple7 ((triple7 triple5) -> rule4)) -> rule6) OR ((((triple1) -> rule2) triple5) -> rule1) OR ((triple3 ((((triple1 triple4) -> rule5)) -> rule3)) -> rule1) OR ((((triple1) -> rule2) ((((triple1 triple4) -> rule5)) -> rule3)) -> rule1) OR ((triple7 ((triple7 ((((triple1 triple4) -> rule5)) -> rule3)) -> rule4)) -> rule6))] The squirrel eats the mouse.[(triple7)] The squirrel is kind.[(triple8)] The squirrel is red.[(triple9 OR ((triple7 triple5) -> rule4) OR ((triple7 ((triple6 triple3) -> rule8)) -> rule4) OR ((triple7 ((((triple1 triple4) -> rule5)) -> rule3)) -> rule4) OR ((triple7 ((triple6 ((triple1) -> rule2)) -> rule8)) -> rule4))] The squirrel is round.[(triple10)] @1: The mouse needs the mouse.[(((triple1 triple4) -> rule5))] The squirrel needs the mouse.[(((triple1) -> rule7))] @2: The squirrel likes the squirrel.[(((((triple1) -> rule7)) -> rule3))] @3: The squirrel needs the squirrel.[(((triple9 ((((triple1) -> rule7)) -> rule3)) -> rule1) OR ((((triple7 triple5) -> rule4) ((((triple1) -> rule7)) -> rule3)) -> rule1) OR ((((triple7 ((triple6 triple3) -> rule8)) -> rule4) ((((triple1) -> rule7)) -> rule3)) -> rule1) OR ((((triple7 ((((triple1 triple4) -> rule5)) -> rule3)) -> rule4) ((((triple1) -> rule7)) -> rule3)) -> rule1) OR ((((triple7 ((triple6 ((triple1) -> rule2)) -> rule8)) -> rule4) ((((triple1) -> rule7)) -> rule3)) -> rule1))]