The bald eagle chases the bear. The bald eagle is round. The bald eagle visits the rabbit. The bear chases the bald eagle. The bear is green. The bear is round. The bear needs the bald eagle. The bear visits the bald eagle. The rabbit is blue. The tiger is big. The tiger is green. The tiger visits the bald eagle. If the bald eagle visits the rabbit and the bald eagle chases the tiger then the rabbit is not blue. If something visits the rabbit then the rabbit is rough. If something needs the rabbit and the rabbit chases the bear then it chases the bald eagle. If something chases the bald eagle then it is rough. If something chases the tiger then it needs the bear. If something visits the bald eagle then it needs the bear. If something needs the tiger and the tiger visits the bear then the bear needs the bald eagle. If the rabbit is rough then the rabbit chases the tiger.
The rabbit chases the tiger.
@0: The bald eagle chases the bear.[(triple1)] The bald eagle is round.[(triple2)] The bald eagle visits the rabbit.[(triple3)] The bear chases the bald eagle.[(triple4)] The bear is green.[(triple5)] The bear is round.[(triple6)] The bear needs the bald eagle.[(triple7)] The bear visits the bald eagle.[(triple8)] The rabbit is blue.[(triple9)] The tiger is big.[(triple10)] The tiger is green.[(triple11)] The tiger visits the bald eagle.[(triple12)] @1: The bear is rough.[(((triple4) -> rule4))] The bear needs the bear.[(((triple8) -> rule6))] The rabbit is rough.[(((triple3) -> rule2))] The tiger needs the bear.[(((triple12) -> rule6))] @2: The rabbit chases the tiger.[(((((triple3) -> rule2)) -> rule8))] @3: The rabbit needs the bear.[(((((((triple3) -> rule2)) -> rule8)) -> rule5))]