The bear chases the lion. The bear is big. The bear is blue. The bear is rough. The bear is young. The bear needs the lion. The bear visits the lion. The lion chases the bear. The lion is big. The lion is blue. The lion is kind. The lion is rough. The lion is young. The lion needs the bear. The lion visits the bear. If someone is big then they visit the lion. If someone chases the lion then the lion visits the bear. If someone needs the lion then they chase the lion. If someone visits the lion and they are blue then they need the lion. If someone chases the bear and the bear chases the lion then the lion needs the bear. If someone chases the lion and they visit the bear then they are kind.
The lion visits the lion.
@0: The bear chases the lion.[(triple1 OR ((triple6) -> rule3) OR ((((triple7 triple3) -> rule4)) -> rule3) OR ((((((triple2) -> rule1) triple3) -> rule4)) -> rule3))] The bear is big.[(triple2)] The bear is blue.[(triple3)] The bear is rough.[(triple4)] The bear is young.[(triple5)] The bear needs the lion.[(triple6 OR ((triple7 triple3) -> rule4) OR ((((triple2) -> rule1) triple3) -> rule4))] The bear visits the lion.[(triple7 OR ((triple2) -> rule1))] The lion chases the bear.[(triple8)] The lion is big.[(triple9)] The lion is blue.[(triple10)] The lion is kind.[(triple11 OR ((((((((triple9) -> rule1) triple10) -> rule4)) -> rule3) triple15) -> rule6) OR ((((((((triple9) -> rule1) triple10) -> rule4)) -> rule3) ((triple1) -> rule2)) -> rule6) OR ((((((((triple9) -> rule1) triple10) -> rule4)) -> rule3) ((((triple6) -> rule3)) -> rule2)) -> rule6) OR ((((((((triple9) -> rule1) triple10) -> rule4)) -> rule3) ((((((triple7 triple3) -> rule4)) -> rule3)) -> rule2)) -> rule6) OR ((((((((triple9) -> rule1) triple10) -> rule4)) -> rule3) ((((((((triple2) -> rule1) triple3) -> rule4)) -> rule3)) -> rule2)) -> rule6) OR ((((((((triple9) -> rule1) triple10) -> rule4)) -> rule3) ((((((((triple9) -> rule1) triple10) -> rule4)) -> rule3)) -> rule2)) -> rule6))] The lion is rough.[(triple12)] The lion is young.[(triple13)] The lion needs the bear.[(triple14 OR ((triple8 triple1) -> rule5) OR ((triple8 ((triple6) -> rule3)) -> rule5) OR ((triple8 ((((triple7 triple3) -> rule4)) -> rule3)) -> rule5) OR ((triple8 ((((((triple2) -> rule1) triple3) -> rule4)) -> rule3)) -> rule5))] The lion visits the bear.[(triple15 OR ((triple1) -> rule2) OR ((((triple6) -> rule3)) -> rule2) OR ((((((triple7 triple3) -> rule4)) -> rule3)) -> rule2) OR ((((((((triple2) -> rule1) triple3) -> rule4)) -> rule3)) -> rule2) OR ((((((((triple9) -> rule1) triple10) -> rule4)) -> rule3)) -> rule2))] @1: The lion visits the lion.[(((triple9) -> rule1))] @2: The lion needs the lion.[(((((triple9) -> rule1) triple10) -> rule4))] @3: The lion chases the lion.[(((((((triple9) -> rule1) triple10) -> rule4)) -> rule3))]