The bear eats the squirrel. The bear is cold. The bear is rough. The bear needs the squirrel. The bear visits the lion. The lion is cold. The lion is red. The lion is rough. The lion visits the squirrel. The squirrel eats the bear. The squirrel is cold. The squirrel is rough. The squirrel is round. The squirrel needs the lion. The squirrel visits the lion. If someone eats the bear then they are round.
The bear is not round.
@0: The bear eats the squirrel.[(triple1)] The bear is cold.[(triple2)] The bear is rough.[(triple3)] The bear needs the squirrel.[(triple4)] The bear visits the lion.[(triple5)] The lion is cold.[(triple6)] The lion is red.[(triple7)] The lion is rough.[(triple8)] The lion visits the squirrel.[(triple9)] The squirrel eats the bear.[(triple10)] The squirrel is cold.[(triple11)] The squirrel is rough.[(triple12)] The squirrel is round.[(triple13 OR ((triple10) -> rule1))] The squirrel needs the lion.[(triple14)] The squirrel visits the lion.[(triple15)]