The bear eats the rabbit. The bear eats the squirrel. The bear is round. The bear needs the rabbit. The bear needs the squirrel. The bear visits the rabbit. The bear visits the squirrel. The rabbit is young. The rabbit needs the squirrel. The squirrel eats the bear. The squirrel eats the rabbit. The squirrel is kind. The squirrel is young. The squirrel needs the bear. The squirrel needs the rabbit. The squirrel visits the bear. If someone eats the bear then the bear eats the rabbit. If someone eats the rabbit then they visit the rabbit.
The rabbit needs the rabbit.
@0: The bear eats the rabbit.[(triple1 OR ((triple10) -> rule1))] The bear eats the squirrel.[(triple2)] The bear is round.[(triple3)] The bear needs the rabbit.[(triple4)] The bear needs the squirrel.[(triple5)] The bear visits the rabbit.[(triple6 OR ((triple1) -> rule2) OR ((((triple10) -> rule1)) -> rule2))] The bear visits the squirrel.[(triple7)] The rabbit is young.[(triple8)] The rabbit needs the squirrel.[(triple9)] The squirrel eats the bear.[(triple10)] The squirrel eats the rabbit.[(triple11)] The squirrel is kind.[(triple12)] The squirrel is young.[(triple13)] The squirrel needs the bear.[(triple14)] The squirrel needs the rabbit.[(triple15)] The squirrel visits the bear.[(triple16)] @1: The squirrel visits the rabbit.[(((triple11) -> rule2))]