The bear eats the rabbit. The bear visits the squirrel. The rabbit chases the bear. The rabbit chases the squirrel. The rabbit eats the squirrel. The rabbit is cold. The rabbit is green. The rabbit is rough. The rabbit visits the bear. The rabbit visits the squirrel. The squirrel chases the rabbit. The squirrel eats the bear. The squirrel eats the rabbit. The squirrel is round. The squirrel visits the bear. If someone visits the squirrel and they visit the rabbit then the squirrel is red. If someone visits the rabbit then they are round. If someone eats the rabbit then the rabbit is rough. If the squirrel eats the rabbit and the squirrel is round then the squirrel chases the bear. If the squirrel chases the bear then the bear is round. If someone chases the bear and the bear is round then they eat the bear. If someone chases the rabbit and they are red then they are cold. If someone visits the rabbit and they chase the rabbit then the rabbit is red.
The bear is not round.
@0: The bear eats the rabbit.[(triple1)] The bear visits the squirrel.[(triple2)] The rabbit chases the bear.[(triple3)] The rabbit chases the squirrel.[(triple4)] The rabbit eats the squirrel.[(triple5)] The rabbit is cold.[(triple6)] The rabbit is green.[(triple7)] The rabbit is rough.[(triple8 OR ((triple1) -> rule3) OR ((triple13) -> rule3))] The rabbit visits the bear.[(triple9)] The rabbit visits the squirrel.[(triple10)] The squirrel chases the rabbit.[(triple11)] The squirrel eats the bear.[(triple12 OR ((((triple13 triple14) -> rule4) ((((triple13 triple14) -> rule4)) -> rule5)) -> rule6))] The squirrel eats the rabbit.[(triple13)] The squirrel is round.[(triple14)] The squirrel visits the bear.[(triple15)] @1: The squirrel chases the bear.[(((triple13 triple14) -> rule4))] @2: The bear is round.[(((((triple13 triple14) -> rule4)) -> rule5))] @3: The rabbit eats the bear.[(((triple3 ((((triple13 triple14) -> rule4)) -> rule5)) -> rule6))]