The bald eagle is rough. The bald eagle is round. The bald eagle is young. The bald eagle likes the rabbit. The bald eagle sees the bear. The bald eagle sees the cat. The bald eagle does not visit the rabbit. The bear visits the rabbit. The cat is not rough. The cat likes the bald eagle. The cat sees the bald eagle. The rabbit sees the cat. The rabbit visits the bear. The rabbit visits the cat. If someone visits the bear and the bear is young then the bear sees the rabbit. If someone likes the rabbit then the rabbit is green. Blue people are not round. If someone likes the bear then the bear is young. If someone likes the bald eagle then they like the bear. If someone likes the bear then the bear sees the cat. If the bear visits the rabbit and the bear sees the rabbit then the bear is blue. If someone is green then they see the rabbit.
The bald eagle does not see the rabbit.
@0: The bald eagle does not visit the rabbit.[(triple7)] The bald eagle is rough.[(triple1)] The bald eagle is round.[(triple2)] The bald eagle is young.[(triple3)] The bald eagle likes the rabbit.[(triple4)] The bald eagle sees the bear.[(triple5)] The bald eagle sees the cat.[(triple6)] The bear visits the rabbit.[(triple8)] The cat is not rough.[(triple9)] The cat likes the bald eagle.[(triple10)] The cat sees the bald eagle.[(triple11)] The rabbit sees the cat.[(triple12)] The rabbit visits the bear.[(triple13)] The rabbit visits the cat.[(triple14)] @1: The cat likes the bear.[(((triple10) -> rule5))] The rabbit is green.[(((triple4) -> rule2))] @2: The bear is young.[(((((triple10) -> rule5)) -> rule4))] The bear sees the cat.[(((((triple10) -> rule5)) -> rule6))] The rabbit sees the rabbit.[(((((triple4) -> rule2)) -> rule8))] @3: The bear sees the rabbit.[(((triple13 ((((triple10) -> rule5)) -> rule4)) -> rule1))] @4: The bear is blue.[(((triple8 ((triple13 ((((triple10) -> rule5)) -> rule4)) -> rule1)) -> rule7))] @5: The bear is not round.[(((((triple8 ((triple13 ((((triple10) -> rule5)) -> rule4)) -> rule1)) -> rule7)) -> rule3))]