The bear chases the rabbit. The bear is round. The bear is young. The bear needs the squirrel. The rabbit chases the bear. The rabbit is round. The rabbit likes the bear. The rabbit likes the squirrel. The rabbit needs the bear. The squirrel chases the bear. The squirrel chases the rabbit. The squirrel is nice. The squirrel likes the bear. The squirrel likes the rabbit. The squirrel needs the bear. The squirrel needs the rabbit. If something likes the bear and the bear chases the squirrel then it needs the bear. If something is kind and cold then it is young. If something likes the bear then it chases the bear. If something likes the rabbit and the rabbit needs the bear then the rabbit chases the bear. If something needs the bear then it likes the rabbit. If something chases the bear and it needs the bear then the bear chases the rabbit.
The squirrel likes the rabbit.
@0: The bear chases the rabbit.[(triple1 OR ((triple10 triple15) -> rule6) OR ((triple5 triple9) -> rule6) OR ((((triple13) -> rule3) triple15) -> rule6) OR ((((triple7) -> rule3) triple9) -> rule6) OR ((((triple14 triple9) -> rule4) triple9) -> rule6) OR ((((((triple15) -> rule5) triple9) -> rule4) triple9) -> rule6) OR ((((((triple9) -> rule5) triple9) -> rule4) triple9) -> rule6))] The bear is round.[(triple2)] The bear is young.[(triple3)] The bear needs the squirrel.[(triple4)] The rabbit chases the bear.[(triple5 OR ((triple7) -> rule3) OR ((triple14 triple9) -> rule4) OR ((((triple15) -> rule5) triple9) -> rule4) OR ((((triple9) -> rule5) triple9) -> rule4))] The rabbit is round.[(triple6)] The rabbit likes the bear.[(triple7)] The rabbit likes the squirrel.[(triple8)] The rabbit needs the bear.[(triple9)] The squirrel chases the bear.[(triple10 OR ((triple13) -> rule3))] The squirrel chases the rabbit.[(triple11)] The squirrel is nice.[(triple12)] The squirrel likes the bear.[(triple13)] The squirrel likes the rabbit.[(triple14 OR ((triple15) -> rule5))] The squirrel needs the bear.[(triple15)] The squirrel needs the rabbit.[(triple16)] @1: The rabbit likes the rabbit.[(((triple9) -> rule5))]