The cow chases the dog. The cow is blue. The dog is kind. The dog is round. The dog is young. The dog sees the cow. The dog visits the cow. If the dog is young and the dog sees the cow then the dog is green. If something chases the dog and the dog visits the cow then the cow visits the dog. If the dog chases the cow and the cow sees the dog then the dog visits the cow. If the dog is blue and the dog is not young then the dog is round. If something chases the dog then the dog is round. If something sees the dog then it visits the dog. If something visits the dog then it is round. If something is round then it sees the dog.
The dog is not blue.
@0: The cow chases the dog.[(triple1)] The cow is blue.[(triple2)] The dog is kind.[(triple3)] The dog is round.[(triple4 OR ((triple1) -> rule5))] The dog is young.[(triple5)] The dog sees the cow.[(triple6)] The dog visits the cow.[(triple7)] @1: The cow visits the dog.[(((triple1 triple7) -> rule2))] The dog is green.[(((triple5 triple6) -> rule1))] The dog sees the dog.[(((triple4) -> rule8) OR ((((triple1) -> rule5)) -> rule8))] @2: The cow is round.[(((((triple1 triple7) -> rule2)) -> rule7))] The dog visits the dog.[(((((triple4) -> rule8)) -> rule6) OR ((((((triple1) -> rule5)) -> rule8)) -> rule6))] @3: The cow sees the dog.[(((((((triple1 triple7) -> rule2)) -> rule7)) -> rule8))]