The bald eagle sees the rabbit. The bear eats the cat. The bear visits the bald eagle. The bear visits the cat. The cat sees the bald eagle. The rabbit eats the bald eagle. The rabbit eats the cat. The rabbit is rough. The rabbit sees the cat. The rabbit visits the bear. If someone sees the rabbit then they see the bear. If someone is big then they see the bear. If someone is big then they see the bear. If the bald eagle does not visit the bear then the bear is young. Red people are not young. If someone sees the bear then they are red. If someone visits the cat then the cat visits the bear. If the rabbit sees the bear and the rabbit does not eat the cat then the bear visits the bald eagle.
The bald eagle is young.
@0: The bald eagle sees the rabbit.[(triple1)] The bear eats the cat.[(triple2)] The bear visits the bald eagle.[(triple3)] The bear visits the cat.[(triple4)] The cat sees the bald eagle.[(triple5)] The rabbit eats the bald eagle.[(triple6)] The rabbit eats the cat.[(triple7)] The rabbit is rough.[(triple8)] The rabbit sees the cat.[(triple9)] The rabbit visits the bear.[(triple10)] @1: The bald eagle sees the bear.[(((triple1) -> rule1))] The cat visits the bear.[(((triple4) -> rule7))] @2: The bald eagle is red.[(((((triple1) -> rule1)) -> rule6))] @3: The bald eagle is not young.[(((((((triple1) -> rule1)) -> rule6)) -> rule5))]