The bear chases the rabbit. The bear chases the squirrel. The bear eats the rabbit. The bear is big. The bear is round. The bear visits the rabbit. The rabbit chases the bear. The rabbit eats the bear. The rabbit eats the squirrel. The rabbit is green. The rabbit is round. The squirrel chases the bear. The squirrel chases the rabbit. The squirrel eats the rabbit. The squirrel is green. The squirrel visits the bear. If something chases the bear and it eats the bear then the bear is round.
The squirrel visits the bear.
@0: The bear chases the rabbit.[(triple1)] The bear chases the squirrel.[(triple2)] The bear eats the rabbit.[(triple3)] The bear is big.[(triple4)] The bear is round.[(triple5 OR ((triple7 triple8) -> rule1))] The bear visits the rabbit.[(triple6)] The rabbit chases the bear.[(triple7)] The rabbit eats the bear.[(triple8)] The rabbit eats the squirrel.[(triple9)] The rabbit is green.[(triple10)] The rabbit is round.[(triple11)] The squirrel chases the bear.[(triple12)] The squirrel chases the rabbit.[(triple13)] The squirrel eats the rabbit.[(triple14)] The squirrel is green.[(triple15)] The squirrel visits the bear.[(triple16)]