The lion likes the tiger. The mouse is blue. The mouse needs the lion. The mouse does not need the tiger. The tiger is rough. The tiger needs the lion. The tiger does not need the mouse. If something likes the mouse then the mouse does not need the lion. If the lion likes the mouse and the mouse does not chase the tiger then the lion does not chase the tiger. If something is blue then it chases the mouse. If something chases the lion and the lion likes the tiger then the lion is round. If something chases the mouse then it chases the lion. If the mouse chases the tiger and the tiger is not big then the mouse is not blue. If something is round and not big then it likes the tiger. If something needs the mouse and the mouse does not like the tiger then the mouse is not red.
The mouse chases the mouse.
@0: The lion likes the tiger.[(triple1)] The mouse does not need the tiger.[(triple4)] The mouse is blue.[(triple2)] The mouse needs the lion.[(triple3)] The tiger does not need the mouse.[(triple7)] The tiger is rough.[(triple5)] The tiger needs the lion.[(triple6)] @1: The mouse chases the mouse.[(((triple2) -> rule3))] @2: The mouse chases the lion.[(((((triple2) -> rule3)) -> rule5))] @3: The lion is round.[(((((((triple2) -> rule3)) -> rule5) triple1) -> rule4))]