The bald eagle eats the rabbit. The bald eagle eats the tiger. The bald eagle likes the rabbit. The bear is rough. The bear visits the tiger. The rabbit is blue. The rabbit likes the bald eagle. The rabbit likes the bear. The tiger is red. The tiger visits the rabbit. If something likes the bear then it is cold. If something is big then it is rough. If the tiger visits the bear then the tiger likes the rabbit. If something likes the bear and the bear eats the rabbit then the bear likes the rabbit. If something visits the bear then the bear visits the bald eagle. If the tiger is big and the tiger likes the rabbit then the tiger visits the bear. If something visits the rabbit and it visits the bear then it visits the bald eagle. All blue, cold things are big.
The rabbit does not visit the bear.
@0: The bald eagle eats the rabbit.[(triple1)] The bald eagle eats the tiger.[(triple2)] The bald eagle likes the rabbit.[(triple3)] The bear is rough.[(triple4)] The bear visits the tiger.[(triple5)] The rabbit is blue.[(triple6)] The rabbit likes the bald eagle.[(triple7)] The rabbit likes the bear.[(triple8)] The tiger is red.[(triple9)] The tiger visits the rabbit.[(triple10)] @1: The rabbit is cold.[(((triple8) -> rule1))] @2: The rabbit is big.[(((triple6 ((triple8) -> rule1)) -> rule8))] @3: The rabbit is rough.[(((((triple6 ((triple8) -> rule1)) -> rule8)) -> rule2))]