The bald eagle is blue. The bald eagle does not see the bear. The bald eagle visits the bear. The bear is young. The bear needs the bald eagle. The bear does not need the cat. The bear does not see the cat. The bear visits the bald eagle. The bear visits the cat. The cat is cold. The cat is young. The cat needs the bald eagle. The cat needs the bear. The cat does not see the bald eagle. The cat sees the bear. The cat visits the bear. If something is cold and it visits the bald eagle then the bald eagle needs the cat. If something visits the cat then it does not visit the bear. If something is blue then it visits the bear. If something visits the bear and it needs the bald eagle then it sees the bear. If something sees the bear then it does not see the cat. If something needs the cat then it is not cold. If something visits the bear then the bear visits the cat. If something sees the cat then it is kind.
The bald eagle is not kind.
@0: The bald eagle does not see the bear.[(triple2)] The bald eagle is blue.[(triple1)] The bald eagle visits the bear.[(triple3 OR ((triple1) -> rule3))] The bear does not need the cat.[(triple6)] The bear does not see the cat.[(triple7)] The bear is young.[(triple4)] The bear needs the bald eagle.[(triple5)] The bear visits the bald eagle.[(triple8)] The bear visits the cat.[(triple9 OR ((triple16) -> rule7) OR ((triple3) -> rule7) OR ((((triple1) -> rule3)) -> rule7))] The cat does not see the bald eagle.[(triple14)] The cat is cold.[(triple10)] The cat is young.[(triple11)] The cat needs the bald eagle.[(triple12)] The cat needs the bear.[(triple13)] The cat sees the bear.[(triple15 OR ((triple16 triple12) -> rule4))] The cat visits the bear.[(triple16)] @1: The bear does not visit the bear.[(((triple9) -> rule2) OR ((((triple16) -> rule7)) -> rule2) OR ((((triple3) -> rule7)) -> rule2) OR ((((((triple1) -> rule3)) -> rule7)) -> rule2))] The cat does not see the cat.[(((triple15) -> rule5) OR ((((triple16 triple12) -> rule4)) -> rule5))]