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