The bald eagle sees the lion. The bald eagle does not visit the bear. The bald eagle does not visit the lion. The bear is kind. The cat is kind. The cat is not red. The cat sees the bald eagle. The cat visits the lion. The lion is kind. The lion is rough. The lion sees the bear. If something is kind then it needs the lion. If something is kind then it sees the lion. If something is round then it does not see the cat. If something sees the bear then it does not see the cat. If something visits the lion and it needs the lion then the lion needs the bald eagle. If something visits the bear then it needs the bald eagle. If something needs the bald eagle and it is not red then the bald eagle sees the bear. If something needs the lion and the lion is rough then it visits the bear. If something visits the cat and the cat visits the bear then it is cold.
The bald eagle is cold.
@0: The bald eagle does not visit the bear.[(triple2)] The bald eagle does not visit the lion.[(triple3)] The bald eagle sees the lion.[(triple1)] The bear is kind.[(triple4)] The cat is kind.[(triple5)] The cat is not red.[(triple6)] The cat sees the bald eagle.[(triple7)] The cat visits the lion.[(triple8)] The lion is kind.[(triple9)] The lion is rough.[(triple10)] The lion sees the bear.[(triple11)] @1: The bear needs the lion.[(((triple4) -> rule1))] The bear sees the lion.[(((triple4) -> rule2))] The cat needs the lion.[(((triple5) -> rule1))] The cat sees the lion.[(((triple5) -> rule2))] The lion does not see the cat.[(((triple11) -> rule4))] The lion needs the lion.[(((triple9) -> rule1))] The lion sees the lion.[(((triple9) -> rule2))] @2: The bear visits the bear.[(((((triple4) -> rule1) triple10) -> rule8))] The cat visits the bear.[(((((triple5) -> rule1) triple10) -> rule8))] The lion needs the bald eagle.[(((triple8 ((triple5) -> rule1)) -> rule5) OR ((((((triple9) -> rule1) triple10) -> rule8)) -> rule6))] The lion visits the bear.[(((((triple9) -> rule1) triple10) -> rule8))] @3: The bear needs the bald eagle.[(((((((triple4) -> rule1) triple10) -> rule8)) -> rule6))] The cat needs the bald eagle.[(((((((triple5) -> rule1) triple10) -> rule8)) -> rule6))] @4: The bald eagle sees the bear.[(((((((((triple5) -> rule1) triple10) -> rule8)) -> rule6) triple6) -> rule7))] @5: The bald eagle does not see the cat.[(((((((((((triple5) -> rule1) triple10) -> rule8)) -> rule6) triple6) -> rule7)) -> rule4))]