The bald eagle is rough. The bald eagle is young. The bald eagle likes the rabbit. The bald eagle needs the squirrel. The bald eagle sees the rabbit. The bear needs the squirrel. The bear sees the bald eagle. The rabbit is nice. The rabbit is young. The rabbit needs the bald eagle. The rabbit needs the bear. The squirrel is rough. The squirrel needs the bear. The squirrel needs the rabbit. The squirrel sees the bear. If something sees the squirrel and it is young then the squirrel needs the bald eagle. If something sees the squirrel and it is young then it is big. If something needs the squirrel and the squirrel sees the bear then the bear is kind. If something needs the bald eagle and it sees the squirrel then the bald eagle is rough. All nice things are big. If something is nice and it sees the rabbit then the rabbit is young.
The rabbit is rough.
@0: The bald eagle is rough.[(triple1)] The bald eagle is young.[(triple2)] The bald eagle likes the rabbit.[(triple3)] The bald eagle needs the squirrel.[(triple4)] The bald eagle sees the rabbit.[(triple5)] The bear needs the squirrel.[(triple6)] The bear sees the bald eagle.[(triple7)] The rabbit is nice.[(triple8)] The rabbit is young.[(triple9)] The rabbit needs the bald eagle.[(triple10)] The rabbit needs the bear.[(triple11)] The squirrel is rough.[(triple12)] The squirrel needs the bear.[(triple13)] The squirrel needs the rabbit.[(triple14)] The squirrel sees the bear.[(triple15)] @1: The bear is kind.[(((triple4 triple15) -> rule3) OR ((triple6 triple15) -> rule3))] The rabbit is big.[(((triple8) -> rule5))]