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