The bear is big. The bear needs the rabbit. The bear visits the rabbit. The bear visits the squirrel. The rabbit does not chase the bear. The rabbit is nice. The rabbit needs the bear. The rabbit needs the squirrel. The squirrel chases the rabbit. The squirrel is big. The squirrel is not cold. The squirrel is green. The squirrel is nice. The squirrel is round. The squirrel needs the rabbit. The squirrel visits the bear. If someone is big and cold then they chase the squirrel. If someone needs the squirrel then the squirrel is nice. If someone visits the bear then they visit the rabbit. If someone visits the rabbit and they visit the squirrel then they need the bear. If someone needs the squirrel and the squirrel visits the rabbit then they visit the bear. If the rabbit visits the bear and the rabbit is not cold then the rabbit needs the bear.
The bear is not green.
@0: The bear is big.[(triple1)] The bear needs the rabbit.[(triple2)] The bear visits the rabbit.[(triple3)] The bear visits the squirrel.[(triple4)] The rabbit does not chase the bear.[(triple5)] The rabbit is nice.[(triple6)] The rabbit needs the bear.[(triple7)] The rabbit needs the squirrel.[(triple8)] The squirrel chases the rabbit.[(triple9)] The squirrel is big.[(triple10)] The squirrel is green.[(triple12)] The squirrel is nice.[(triple13 OR ((triple8) -> rule2))] The squirrel is not cold.[(triple11)] The squirrel is round.[(triple14)] The squirrel needs the rabbit.[(triple15)] The squirrel visits the bear.[(triple16)] @1: The bear needs the bear.[(((triple3 triple4) -> rule4))] The squirrel visits the rabbit.[(((triple16) -> rule3))] @2: The rabbit visits the bear.[(((triple8 ((triple16) -> rule3)) -> rule5))] @3: The rabbit visits the rabbit.[(((((triple8 ((triple16) -> rule3)) -> rule5)) -> rule3))]