The bald eagle is big. The bald eagle is young. The bald eagle needs the dog. The dog is big. The dog is cold. The dog is not green. The dog is kind. The dog is young. The dog needs the bald eagle. The dog visits the bald eagle. If something is cold and it needs the dog then it is young. If something is young and it visits the bald eagle then the bald eagle does not visit the dog. If something needs the bald eagle then it likes the dog. If something needs the dog then it needs the bald eagle. All kind things are not green. If something is green then it does not like the bald eagle. If something is young and it likes the dog then it likes the bald eagle. If something likes the dog and the dog needs the bald eagle then the bald eagle is not kind.
The dog is young.
@0: The bald eagle is big.[(triple1)] The bald eagle is young.[(triple2)] The bald eagle needs the dog.[(triple3)] The dog is big.[(triple4)] The dog is cold.[(triple5)] The dog is kind.[(triple7)] The dog is not green.[(triple6 OR ((triple7) -> rule5))] The dog is young.[(triple8)] The dog needs the bald eagle.[(triple9)] The dog visits the bald eagle.[(triple10)] @1: The bald eagle does not visit the dog.[(((triple8 triple10) -> rule2))] The bald eagle needs the bald eagle.[(((triple3) -> rule4))] The dog likes the dog.[(((triple9) -> rule3))] @2: The bald eagle is not kind.[(((((triple9) -> rule3) triple9) -> rule8) OR ((((((triple3) -> rule4)) -> rule3) triple9) -> rule8))] The bald eagle likes the dog.[(((((triple3) -> rule4)) -> rule3))] The dog likes the bald eagle.[(((triple8 ((triple9) -> rule3)) -> rule7))] @3: The bald eagle likes the bald eagle.[(((triple2 ((((triple3) -> rule4)) -> rule3)) -> rule7))]