The bear needs the rabbit. The rabbit is big. The rabbit is nice. The rabbit likes the bear. The rabbit likes the squirrel. The rabbit needs the bear. The rabbit visits the squirrel. The squirrel is big. The squirrel is cold. The squirrel is nice. The squirrel is rough. The squirrel likes the rabbit. The squirrel needs the bear. The squirrel needs the rabbit. The squirrel visits the bear. If someone needs the bear then the bear needs the squirrel. If someone needs the squirrel then they like the squirrel. If someone likes the squirrel then they do not visit the rabbit.
The bear visits the rabbit.
@0: The bear needs the rabbit.[(triple1)] The rabbit is big.[(triple2)] The rabbit is nice.[(triple3)] The rabbit likes the bear.[(triple4)] The rabbit likes the squirrel.[(triple5)] The rabbit needs the bear.[(triple6)] The rabbit visits the squirrel.[(triple7)] The squirrel is big.[(triple8)] The squirrel is cold.[(triple9)] The squirrel is nice.[(triple10)] The squirrel is rough.[(triple11)] The squirrel likes the rabbit.[(triple12)] The squirrel needs the bear.[(triple13)] The squirrel needs the rabbit.[(triple14)] The squirrel visits the bear.[(triple15)] @1: The bear needs the squirrel.[(((triple13) -> rule1) OR ((triple6) -> rule1))] The rabbit does not visit the rabbit.[(((triple5) -> rule3))] @2: The bear likes the squirrel.[(((((triple13) -> rule1)) -> rule2) OR ((((triple6) -> rule1)) -> rule2))] @3: The bear does not visit the rabbit.[(((((((triple13) -> rule1)) -> rule2)) -> rule3) OR ((((((triple6) -> rule1)) -> rule2)) -> rule3))]