The bear chases the rabbit. The bear is young. The cat is round. The mouse is not cold. The mouse needs the cat. The rabbit does not chase the mouse. The rabbit needs the bear. If something needs the bear and the bear is cold then it sees the bear. If something needs the mouse and the mouse chases the bear then it sees the cat. If something needs the cat and it is not kind then it sees the mouse. If something is round then it chases the mouse. If something chases the mouse then the mouse is round. If something chases the bear and it is kind then it needs the cat.
The bear needs the mouse.
@0: The bear chases the rabbit.[(triple1)] The bear is young.[(triple2)] The cat is round.[(triple3)] The mouse is not cold.[(triple4)] The mouse needs the cat.[(triple5)] The rabbit does not chase the mouse.[(triple6)] The rabbit needs the bear.[(triple7)] @1: The cat chases the mouse.[(((triple3) -> rule4))] @2: The mouse is round.[(((((triple3) -> rule4)) -> rule5))] @3: The mouse chases the mouse.[(((((((triple3) -> rule4)) -> rule5)) -> rule4))]