The mouse chases the tiger. The mouse is cold. The mouse is green. The mouse is red. The mouse needs the tiger. The mouse visits the tiger. The tiger chases the mouse. The tiger is cold. The tiger is green. The tiger is red. The tiger needs the mouse. The tiger visits the mouse. If something chases the mouse and it visits the tiger then it visits the mouse. If something needs the mouse then it chases the mouse. If something chases the tiger then it is green. If something needs the mouse and it chases the mouse then the mouse is green. If something needs the tiger and the tiger is cold then it needs the mouse. If something is green and it chases the tiger then it needs the mouse.
The mouse does not chase the mouse.
@0: The mouse chases the tiger.[(triple1)] The mouse is cold.[(triple2)] The mouse is green.[(triple3 OR ((triple1) -> rule3) OR ((triple11 triple7) -> rule4) OR ((triple11 ((triple11) -> rule2)) -> rule4) OR ((((triple5 triple8) -> rule5) ((((triple5 triple8) -> rule5)) -> rule2)) -> rule4))] The mouse is red.[(triple4)] The mouse needs the tiger.[(triple5)] The mouse visits the tiger.[(triple6)] The tiger chases the mouse.[(triple7 OR ((triple11) -> rule2))] The tiger is cold.[(triple8)] The tiger is green.[(triple9)] The tiger is red.[(triple10)] The tiger needs the mouse.[(triple11)] The tiger visits the mouse.[(triple12)] @1: The mouse needs the mouse.[(((triple3 triple1) -> rule6) OR ((triple5 triple8) -> rule5) OR ((((triple1) -> rule3) triple1) -> rule6) OR ((((triple11 triple7) -> rule4) triple1) -> rule6) OR ((((triple11 ((triple11) -> rule2)) -> rule4) triple1) -> rule6))] @2: The mouse chases the mouse.[(((((triple3 triple1) -> rule6)) -> rule2) OR ((((triple5 triple8) -> rule5)) -> rule2) OR ((((((triple1) -> rule3) triple1) -> rule6)) -> rule2) OR ((((((triple11 triple7) -> rule4) triple1) -> rule6)) -> rule2) OR ((((((triple11 ((triple11) -> rule2)) -> rule4) triple1) -> rule6)) -> rule2))] @3: The mouse visits the mouse.[(((((((triple3 triple1) -> rule6)) -> rule2) triple6) -> rule1) OR ((((((triple5 triple8) -> rule5)) -> rule2) triple6) -> rule1) OR ((((((((triple1) -> rule3) triple1) -> rule6)) -> rule2) triple6) -> rule1) OR ((((((((triple11 triple7) -> rule4) triple1) -> rule6)) -> rule2) triple6) -> rule1) OR ((((((((triple11 ((triple11) -> rule2)) -> rule4) triple1) -> rule6)) -> rule2) triple6) -> rule1))]