The bald eagle is green. The bald eagle needs the dog. The bald eagle visits the cat. The bald eagle visits the dog. The cat needs the bald eagle. The cat visits the bald eagle. The cat visits the cow. The cat visits the dog. The cow needs the dog. The dog is big. The dog is round. The dog needs the cat. If something visits the bald eagle then it is green. If something is green then it chases the dog. If something visits the bald eagle then it needs the cow. If something is green then it chases the bald eagle. If something needs the dog and the dog is young then the dog visits the bald eagle. If something is big then it needs the cat. If something chases the dog and the dog chases the bald eagle then it is young. If something chases the dog and it needs the dog then the dog visits the bald eagle. If something needs the dog then the dog is big.
The cat does not need the cat.
@0: The bald eagle is green.[(triple1)] The bald eagle needs the dog.[(triple2)] The bald eagle visits the cat.[(triple3)] The bald eagle visits the dog.[(triple4)] The cat needs the bald eagle.[(triple5)] The cat visits the bald eagle.[(triple6)] The cat visits the cow.[(triple7)] The cat visits the dog.[(triple8)] The cow needs the dog.[(triple9)] The dog is big.[(triple10 OR ((triple2) -> rule9) OR ((triple9) -> rule9))] The dog is round.[(triple11)] The dog needs the cat.[(triple12 OR ((triple10) -> rule6) OR ((((triple2) -> rule9)) -> rule6) OR ((((triple9) -> rule9)) -> rule6))] @1: The bald eagle chases the bald eagle.[(((triple1) -> rule4))] The bald eagle chases the dog.[(((triple1) -> rule2))] The cat is green.[(((triple6) -> rule1))] The cat needs the cow.[(((triple6) -> rule3))] @2: The cat chases the bald eagle.[(((((triple6) -> rule1)) -> rule4))] The cat chases the dog.[(((((triple6) -> rule1)) -> rule2))] The dog visits the bald eagle.[(((((triple1) -> rule2) triple2) -> rule8))] @3: The dog is green.[(((((((triple1) -> rule2) triple2) -> rule8)) -> rule1))] The dog needs the cow.[(((((((triple1) -> rule2) triple2) -> rule8)) -> rule3))] @4: The dog chases the bald eagle.[(((((((((triple1) -> rule2) triple2) -> rule8)) -> rule1)) -> rule4))] The dog chases the dog.[(((((((((triple1) -> rule2) triple2) -> rule8)) -> rule1)) -> rule2))] @5: The bald eagle is young.[(((((triple1) -> rule2) ((((((((triple1) -> rule2) triple2) -> rule8)) -> rule1)) -> rule4)) -> rule7))] The cat is young.[(((((((triple6) -> rule1)) -> rule2) ((((((((triple1) -> rule2) triple2) -> rule8)) -> rule1)) -> rule4)) -> rule7))] The dog is young.[(((((((((((triple1) -> rule2) triple2) -> rule8)) -> rule1)) -> rule2) ((((((((triple1) -> rule2) triple2) -> rule8)) -> rule1)) -> rule4)) -> rule7))]