The cow sees the dog. The dog chases the cow. The dog is blue. The dog is cold. The dog sees the rabbit. The dog visits the rabbit. The dog visits the tiger. The rabbit chases the tiger. The rabbit is blue. The rabbit sees the dog. The rabbit sees the tiger. The rabbit visits the dog. The tiger chases the cow. The tiger chases the dog. The tiger chases the rabbit. The tiger visits the dog. If someone visits the rabbit then the rabbit sees the dog. If someone visits the tiger then the tiger sees the dog. If someone is cold then they chase the cow. If the rabbit visits the dog and the rabbit sees the cow then the cow sees the rabbit. All green people are blue. If someone is blue and they visit the tiger then they visit the dog. If someone is blue and cold then they chase the cow. If someone visits the dog and the dog is blue then they chase the cow.
The dog is not blue.
@0: The cow sees the dog.[(triple1)] The dog chases the cow.[(triple2 OR ((triple4) -> rule3) OR ((triple3 triple4) -> rule7) OR ((((triple3 triple7) -> rule6) triple3) -> rule8))] The dog is blue.[(triple3)] The dog is cold.[(triple4)] The dog sees the rabbit.[(triple5)] The dog visits the rabbit.[(triple6)] The dog visits the tiger.[(triple7)] The rabbit chases the tiger.[(triple8)] The rabbit is blue.[(triple9)] The rabbit sees the dog.[(triple10 OR ((triple6) -> rule1))] The rabbit sees the tiger.[(triple11)] The rabbit visits the dog.[(triple12)] The tiger chases the cow.[(triple13 OR ((triple16 triple3) -> rule8))] The tiger chases the dog.[(triple14)] The tiger chases the rabbit.[(triple15)] The tiger visits the dog.[(triple16)] @1: The dog visits the dog.[(((triple3 triple7) -> rule6))] The rabbit chases the cow.[(((triple12 triple3) -> rule8))] The tiger sees the dog.[(((triple7) -> rule2))]