The bald eagle eats the rabbit. The bear does not like the bald eagle. The dog is red. The rabbit visits the bear. If something visits the rabbit then it does not eat the rabbit. If something is big and it eats the bear then the bear is kind. If something is young and kind then it does not like the rabbit. If something is big then it does not visit the bald eagle. Young things are big. If something visits the bear and it likes the dog then the bear likes the rabbit. If something eats the rabbit then the rabbit is young. If something is nice and not kind then it is red.
The rabbit is not young.
@0: The bald eagle eats the rabbit.[(triple1)] The bear does not like the bald eagle.[(triple2)] The dog is red.[(triple3)] The rabbit visits the bear.[(triple4)] @1: The rabbit is young.[(((triple1) -> rule7))] @2: The rabbit is big.[(((((triple1) -> rule7)) -> rule5))] @3: The rabbit does not visit the bald eagle.[(((((((triple1) -> rule7)) -> rule5)) -> rule4))]