The mouse chases the tiger. The mouse is cold. The mouse is rough. The mouse needs the tiger. The mouse sees the tiger. The tiger chases the mouse. The tiger is blue. The tiger is cold. The tiger is green. The tiger is kind. The tiger needs the mouse. The tiger sees the mouse. If the mouse chases the tiger then the tiger chases the mouse. If something sees the tiger then the tiger chases the mouse. If something chases the mouse and the mouse is rough then the mouse chases the tiger. If the tiger is cold and the tiger sees the mouse then the mouse sees the tiger. If something is blue then it chases the tiger. If something is rough then it sees the mouse. If something needs the mouse and it chases the mouse then it sees the tiger. If something needs the mouse then the mouse is kind.
The tiger needs the mouse.
@0: The mouse chases the tiger.[(triple1 OR ((triple6 triple3) -> rule3) OR ((((triple5) -> rule2) triple3) -> rule3) OR ((((((triple8 triple12) -> rule4)) -> rule2) triple3) -> rule3))] The mouse is cold.[(triple2)] The mouse is rough.[(triple3)] The mouse needs the tiger.[(triple4)] The mouse sees the tiger.[(triple5 OR ((triple8 triple12) -> rule4))] The tiger chases the mouse.[(triple6 OR ((triple1) -> rule1) OR ((triple5) -> rule2) OR ((((triple8 triple12) -> rule4)) -> rule2))] The tiger is blue.[(triple7)] The tiger is cold.[(triple8)] The tiger is green.[(triple9)] The tiger is kind.[(triple10)] The tiger needs the mouse.[(triple11)] The tiger sees the mouse.[(triple12)] @1: The mouse is kind.[(((triple11) -> rule8))] The mouse sees the mouse.[(((triple3) -> rule6))] The tiger chases the tiger.[(((triple7) -> rule5))] The tiger sees the tiger.[(((triple11 triple6) -> rule7) OR ((triple11 ((triple1) -> rule1)) -> rule7) OR ((triple11 ((triple5) -> rule2)) -> rule7) OR ((triple11 ((((triple8 triple12) -> rule4)) -> rule2)) -> rule7))]