The bear is big. The bear is rough. The bear likes the squirrel. The bear sees the lion. The bear sees the squirrel. The bear visits the lion. The lion is big. The lion is red. The lion is rough. The lion likes the bear. The lion likes the squirrel. The lion sees the bear. The lion sees the squirrel. The lion visits the bear. The squirrel is young. The squirrel likes the lion. If the squirrel sees the bear and the squirrel is young then the bear visits the lion. If the squirrel visits the lion and the squirrel visits the bear then the squirrel is young. If something visits the bear and it likes the lion then it is young. If something is rough then it sees the lion. If something is red then it sees the bear. If the lion sees the squirrel then the lion visits the squirrel. If something sees the lion then it likes the lion. If something is red and it likes the lion then it sees the squirrel.
The lion does not see the bear.
@0: The bear is big.[(triple1)] The bear is rough.[(triple2)] The bear likes the squirrel.[(triple3)] The bear sees the lion.[(triple4 OR ((triple2) -> rule4))] The bear sees the squirrel.[(triple5)] The bear visits the lion.[(triple6)] The lion is big.[(triple7)] The lion is red.[(triple8)] The lion is rough.[(triple9)] The lion likes the bear.[(triple10)] The lion likes the squirrel.[(triple11)] The lion sees the bear.[(triple12 OR ((triple8) -> rule5))] The lion sees the squirrel.[(triple13 OR ((triple8 ((((triple9) -> rule4)) -> rule7)) -> rule8))] The lion visits the bear.[(triple14)] The squirrel is young.[(triple15)] The squirrel likes the lion.[(triple16)] @1: The bear likes the lion.[(((triple4) -> rule7) OR ((((triple2) -> rule4)) -> rule7))] The lion sees the lion.[(((triple9) -> rule4))] The lion visits the squirrel.[(((triple13) -> rule6) OR ((((triple8 ((((triple9) -> rule4)) -> rule7)) -> rule8)) -> rule6))] @2: The lion likes the lion.[(((((triple9) -> rule4)) -> rule7))] @3: The lion is young.[(((triple14 ((((triple9) -> rule4)) -> rule7)) -> rule3))]