The bald eagle chases the bear. The bald eagle sees the rabbit. The bald eagle visits the rabbit. The bear is kind. The bear is red. The bear is young. The rabbit visits the bald eagle. If someone is red then they are young. If someone visits the rabbit and they are red then the rabbit visits the bear. If someone chases the rabbit then they see the bear. If someone chases the bear and they visit the rabbit then they chase the bald eagle. If someone visits the bald eagle and the bald eagle chases the bear then the bear is young. If someone sees the rabbit and they visit the rabbit then the rabbit is big.
The bear is not red.
@0: The bald eagle chases the bear.[(triple1)] The bald eagle sees the rabbit.[(triple2)] The bald eagle visits the rabbit.[(triple3)] The bear is kind.[(triple4)] The bear is red.[(triple5)] The bear is young.[(triple6 OR ((triple5) -> rule1) OR ((triple7 triple1) -> rule5))] The rabbit visits the bald eagle.[(triple7)] @1: The bald eagle chases the bald eagle.[(((triple1 triple3) -> rule4))] The rabbit is big.[(((triple2 triple3) -> rule6))]