The bear visits the lion. The cat needs the bear. The cat visits the mouse. The lion is round. The lion needs the cat. The lion needs the mouse. The mouse needs the lion. If something is rough and it needs the lion then it is nice. If something needs the mouse and it chases the mouse then it is nice. If something is nice then it is round. If something visits the cat then the cat visits the lion. If something needs the lion then it is rough. If something needs the bear then the bear is green.
The lion is nice.
@0: The bear visits the lion.[(triple1)] The cat needs the bear.[(triple2)] The cat visits the mouse.[(triple3)] The lion is round.[(triple4)] The lion needs the cat.[(triple5)] The lion needs the mouse.[(triple6)] The mouse needs the lion.[(triple7)] @1: The bear is green.[(((triple2) -> rule6))] The mouse is rough.[(((triple7) -> rule5))] @2: The mouse is nice.[(((((triple7) -> rule5) triple7) -> rule1))] @3: The mouse is round.[(((((((triple7) -> rule5) triple7) -> rule1)) -> rule3))]