The bear chases the squirrel. The bear is big. The bear is green. The bear is red. The bear likes the squirrel. The bear needs the squirrel. The squirrel chases the tiger. The squirrel is not green. The squirrel is not round. The squirrel is young. The squirrel likes the bear. The squirrel likes the tiger. The squirrel needs the bear. The tiger chases the bear. The tiger is green. The tiger needs the squirrel. If someone is young then they like the bear. If someone is young and they chase the bear then they do not like the bear. If someone likes the squirrel and the squirrel does not need the bear then the bear chases the squirrel.
The bear does not like the bear.
@0: The bear chases the squirrel.[(triple1)] The bear is big.[(triple2)] The bear is green.[(triple3)] The bear is red.[(triple4)] The bear likes the squirrel.[(triple5)] The bear needs the squirrel.[(triple6)] The squirrel chases the tiger.[(triple7)] The squirrel is not green.[(triple8)] The squirrel is not round.[(triple9)] The squirrel is young.[(triple10)] The squirrel likes the bear.[(triple11 OR ((triple10) -> rule1))] The squirrel likes the tiger.[(triple12)] The squirrel needs the bear.[(triple13)] The tiger chases the bear.[(triple14)] The tiger is green.[(triple15)] The tiger needs the squirrel.[(triple16)]