The bald eagle is cold. The bald eagle is green. The cat visits the dog. The dog chases the bald eagle. The dog chases the cat. The dog is green. The dog does not see the cat. If someone chases the bald eagle and they visit the dog then they visit the cat. If someone is green then they visit the cat. If someone visits the cat then the cat chases the bald eagle. If someone is blue then they see the cat. If the cat chases the dog then the dog is not green. If someone visits the dog and they do not see the bald eagle then the dog is not green. If someone is cold then they do not visit the dog. If the cat is not green then the cat visits the bald eagle.
The cat is young.
@0: The bald eagle is cold.[(triple1)] The bald eagle is green.[(triple2)] The cat visits the dog.[(triple3)] The dog chases the bald eagle.[(triple4)] The dog chases the cat.[(triple5)] The dog does not see the cat.[(triple7)] The dog is green.[(triple6)] @1: The bald eagle does not visit the dog.[(((triple1) -> rule7))] The bald eagle visits the cat.[(((triple2) -> rule2))] The dog visits the cat.[(((triple6) -> rule2))] @2: The cat chases the bald eagle.[(((((triple2) -> rule2)) -> rule3) OR ((((triple6) -> rule2)) -> rule3))] @3: The cat visits the cat.[(((((((triple2) -> rule2)) -> rule3) triple3) -> rule1) OR ((((((triple6) -> rule2)) -> rule3) triple3) -> rule1))]