The bear eats the rabbit. The bear eats the squirrel. The rabbit eats the squirrel. The rabbit is nice. The rabbit sees the bear. The rabbit sees the squirrel. The rabbit visits the bear. The squirrel eats the bear. The squirrel is big. The squirrel is nice. The squirrel is round. The squirrel visits the bear. If someone is cold then they eat the rabbit. If someone sees the rabbit and the rabbit is big then the rabbit sees the squirrel. If someone sees the rabbit then the rabbit is round. If someone is cold and round then they are young. If someone eats the rabbit and they are round then they are young. If the bear eats the rabbit and the rabbit visits the bear then the bear eats the squirrel. If someone eats the bear and they visit the squirrel then they eat the rabbit. If someone eats the bear then the bear sees the squirrel.
The bear is not young.
@0: The bear eats the rabbit.[(triple1)] The bear eats the squirrel.[(triple2 OR ((triple1 triple7) -> rule6))] The rabbit eats the squirrel.[(triple3)] The rabbit is nice.[(triple4)] The rabbit sees the bear.[(triple5)] The rabbit sees the squirrel.[(triple6)] The rabbit visits the bear.[(triple7)] The squirrel eats the bear.[(triple8)] The squirrel is big.[(triple9)] The squirrel is nice.[(triple10)] The squirrel is round.[(triple11)] The squirrel visits the bear.[(triple12)] @1: The bear sees the squirrel.[(((triple8) -> rule8))]