The bear chases the lion. The bear is green. The bear is red. The bear needs the lion. The bear visits the lion. The lion chases the bear. The lion is blue. The lion is cold. The lion is green. The lion visits the bear. If something visits the lion then it is big. If something is cold then it visits the lion. If the lion is blue and the lion is big then the lion is red. If the bear chases the lion then the bear visits the lion. If something is red then it needs the lion. If something chases the bear and it is blue then the bear is green.
The bear does not need the lion.
@0: The bear chases the lion.[(triple1)] The bear is green.[(triple2 OR ((triple6 triple7) -> rule6))] The bear is red.[(triple3)] The bear needs the lion.[(triple4 OR ((triple3) -> rule5))] The bear visits the lion.[(triple5 OR ((triple1) -> rule4))] The lion chases the bear.[(triple6)] The lion is blue.[(triple7)] The lion is cold.[(triple8)] The lion is green.[(triple9)] The lion visits the bear.[(triple10)] @1: The bear is big.[(((triple5) -> rule1) OR ((((triple1) -> rule4)) -> rule1))] The lion visits the lion.[(((triple8) -> rule2))] @2: The lion is big.[(((((triple8) -> rule2)) -> rule1))] @3: The lion is red.[(((triple7 ((((triple8) -> rule2)) -> rule1)) -> rule3))] @4: The lion needs the lion.[(((((triple7 ((((triple8) -> rule2)) -> rule1)) -> rule3)) -> rule5))]