The bear chases the mouse. The bear is big. The bear is red. The bear is round. The bear visits the mouse. The mouse needs the bear. The mouse visits the bear. All round things are big. If something visits the mouse and the mouse is blue then the mouse is red. If something needs the mouse then the mouse chases the bear. If something is round then it needs the mouse. All red, cold things are blue. If something needs the bear and the bear visits the mouse then the bear needs the mouse. If something chases the mouse and it needs the bear then the mouse needs the bear. If something chases the bear and the bear visits the mouse then it is cold.
The mouse does not chase the bear.
@0: The bear chases the mouse.[(triple1)] The bear is big.[(triple2 OR ((triple4) -> rule1))] The bear is red.[(triple3)] The bear is round.[(triple4)] The bear visits the mouse.[(triple5)] The mouse needs the bear.[(triple6)] The mouse visits the bear.[(triple7)] @1: The bear needs the mouse.[(((triple4) -> rule4) OR ((triple6 triple5) -> rule6))] @2: The mouse chases the bear.[(((((triple4) -> rule4)) -> rule3) OR ((((triple6 triple5) -> rule6)) -> rule3))] @3: The mouse is cold.[(((((((triple4) -> rule4)) -> rule3) triple5) -> rule8) OR ((((((triple6 triple5) -> rule6)) -> rule3) triple5) -> rule8))]