The bald eagle is blue. The bald eagle is kind. The bald eagle is red. The bald eagle is round. The bald eagle sees the dog. The cow chases the bald eagle. The cow is big. The cow is blue. The cow is round. The cow needs the bald eagle. The cow sees the dog. The dog chases the bald eagle. The dog is kind. The dog needs the cow. The dog sees the cow. If someone is red then they chase the dog. Blue people are red. If the dog needs the bald eagle and the dog is red then the bald eagle is round. If someone is kind and they see the bald eagle then they chase the bald eagle. If someone chases the dog then the dog is red. If someone needs the cow and they chase the dog then the dog needs the cow.
The cow is not red.
@0: The bald eagle is blue.[(triple1)] The bald eagle is kind.[(triple2)] The bald eagle is red.[(triple3 OR ((triple1) -> rule2))] The bald eagle is round.[(triple4)] The bald eagle sees the dog.[(triple5)] The cow chases the bald eagle.[(triple6)] The cow is big.[(triple7)] The cow is blue.[(triple8)] The cow is round.[(triple9)] The cow needs the bald eagle.[(triple10)] The cow sees the dog.[(triple11)] The dog chases the bald eagle.[(triple12)] The dog is kind.[(triple13)] The dog needs the cow.[(triple14)] The dog sees the cow.[(triple15)] @1: The bald eagle chases the dog.[(((triple3) -> rule1) OR ((((triple1) -> rule2)) -> rule1))] The cow is red.[(((triple8) -> rule2))] @2: The cow chases the dog.[(((((triple8) -> rule2)) -> rule1))] The dog is red.[(((((triple3) -> rule1)) -> rule5) OR ((((((triple1) -> rule2)) -> rule1)) -> rule5) OR ((((((triple8) -> rule2)) -> rule1)) -> rule5))] @3: The dog chases the dog.[(((((((triple3) -> rule1)) -> rule5)) -> rule1) OR ((((((((triple1) -> rule2)) -> rule1)) -> rule5)) -> rule1) OR ((((((((triple8) -> rule2)) -> rule1)) -> rule5)) -> rule1))]