The bear chases the squirrel. The bear chases the tiger. The bear is kind. The bear sees the squirrel. The bear sees the tiger. The squirrel chases the bear. The squirrel chases the tiger. The squirrel is green. The squirrel is kind. The squirrel likes the bear. The squirrel sees the tiger. The tiger chases the bear. The tiger is big. The tiger is green. The tiger likes the bear. The tiger likes the squirrel. If something sees the bear and it is green then the bear is big. If something is rough and it likes the squirrel then it chases the squirrel. If something likes the tiger then it is rough. If something is green then it sees the squirrel. If something chases the squirrel then it chases the tiger. If something sees the squirrel then it likes the tiger. If the bear chases the squirrel and the bear is big then the squirrel is green. If something chases the tiger then the tiger sees the squirrel.
The bear is not round.
@0: The bear chases the squirrel.[(triple1)] The bear chases the tiger.[(triple2 OR ((triple1) -> rule5))] The bear is kind.[(triple3)] The bear sees the squirrel.[(triple4)] The bear sees the tiger.[(triple5)] The squirrel chases the bear.[(triple6)] The squirrel chases the tiger.[(triple7)] The squirrel is green.[(triple8)] The squirrel is kind.[(triple9)] The squirrel likes the bear.[(triple10)] The squirrel sees the tiger.[(triple11)] The tiger chases the bear.[(triple12)] The tiger is big.[(triple13)] The tiger is green.[(triple14)] The tiger likes the bear.[(triple15)] The tiger likes the squirrel.[(triple16)] @1: The bear likes the tiger.[(((triple4) -> rule6))] The squirrel sees the squirrel.[(((triple8) -> rule4))] The tiger sees the squirrel.[(((triple14) -> rule4) OR ((triple2) -> rule8) OR ((triple7) -> rule8) OR ((((triple1) -> rule5)) -> rule8))] @2: The bear is rough.[(((((triple4) -> rule6)) -> rule3))] The squirrel likes the tiger.[(((((triple8) -> rule4)) -> rule6))] The tiger likes the tiger.[(((((triple14) -> rule4)) -> rule6) OR ((((triple2) -> rule8)) -> rule6) OR ((((triple7) -> rule8)) -> rule6) OR ((((((triple1) -> rule5)) -> rule8)) -> rule6))] @3: The squirrel is rough.[(((((((triple8) -> rule4)) -> rule6)) -> rule3))] The tiger is rough.[(((((((triple14) -> rule4)) -> rule6)) -> rule3) OR ((((((triple2) -> rule8)) -> rule6)) -> rule3) OR ((((((triple7) -> rule8)) -> rule6)) -> rule3) OR ((((((((triple1) -> rule5)) -> rule8)) -> rule6)) -> rule3))] @4: The tiger chases the squirrel.[(((((((((triple14) -> rule4)) -> rule6)) -> rule3) triple16) -> rule2) OR ((((((((triple2) -> rule8)) -> rule6)) -> rule3) triple16) -> rule2) OR ((((((((triple7) -> rule8)) -> rule6)) -> rule3) triple16) -> rule2) OR ((((((((((triple1) -> rule5)) -> rule8)) -> rule6)) -> rule3) triple16) -> rule2))] @5: The tiger chases the tiger.[(((((((((((triple14) -> rule4)) -> rule6)) -> rule3) triple16) -> rule2)) -> rule5) OR ((((((((((triple2) -> rule8)) -> rule6)) -> rule3) triple16) -> rule2)) -> rule5) OR ((((((((((triple7) -> rule8)) -> rule6)) -> rule3) triple16) -> rule2)) -> rule5) OR ((((((((((((triple1) -> rule5)) -> rule8)) -> rule6)) -> rule3) triple16) -> rule2)) -> rule5))]