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