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