The bald eagle likes the rabbit. The bear chases the bald eagle. The bear chases the rabbit. The bear is big. The bear is rough. The bear likes the bald eagle. The rabbit chases the bear. The rabbit is rough. The rabbit likes the bald eagle. The rabbit likes the bear. The rabbit needs the bald eagle. The rabbit needs the bear. If something chases the rabbit then it is rough. If something is kind then it is blue. If the bald eagle needs the rabbit and the rabbit needs the bear then the bear likes the bald eagle. If something is round then it chases the rabbit. If something likes the rabbit and the rabbit likes the bear then the rabbit is big. Big things are kind.
The rabbit is not blue.
@0: The bald eagle likes the rabbit.[(triple1)] The bear chases the bald eagle.[(triple2)] The bear chases the rabbit.[(triple3)] The bear is big.[(triple4)] The bear is rough.[(triple5 OR ((triple3) -> rule1))] The bear likes the bald eagle.[(triple6)] The rabbit chases the bear.[(triple7)] The rabbit is rough.[(triple8)] The rabbit likes the bald eagle.[(triple9)] The rabbit likes the bear.[(triple10)] The rabbit needs the bald eagle.[(triple11)] The rabbit needs the bear.[(triple12)] @1: The bear is kind.[(((triple4) -> rule6))] The rabbit is big.[(((triple1 triple10) -> rule5))] @2: The bear is blue.[(((((triple4) -> rule6)) -> rule2))] The rabbit is kind.[(((((triple1 triple10) -> rule5)) -> rule6))] @3: The rabbit is blue.[(((((((triple1 triple10) -> rule5)) -> rule6)) -> rule2))]