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