The cow chases the dog. The cow is blue. The cow is cold. The cow is green. The cow needs the dog. The cow needs the tiger. The cow sees the dog. The cow sees the tiger. The dog chases the cow. The dog is cold. The dog is green. The dog needs the tiger. The dog sees the cow. The dog sees the tiger. The tiger is kind. The tiger sees the cow. If someone chases the tiger and the tiger chases the dog then they are cold. If someone chases the cow and the cow needs the dog then the cow is kind. If someone needs the tiger then they see the dog. If someone is blue and kind then they see the cow. If someone needs the dog then they are big. If someone is green and they chase the cow then they need the dog.
The dog is not green.
@0: The cow chases the dog.[(triple1)] The cow is blue.[(triple2)] The cow is cold.[(triple3)] The cow is green.[(triple4)] The cow needs the dog.[(triple5)] The cow needs the tiger.[(triple6)] The cow sees the dog.[(triple7 OR ((triple6) -> rule3))] The cow sees the tiger.[(triple8)] The dog chases the cow.[(triple9)] The dog is cold.[(triple10)] The dog is green.[(triple11)] The dog needs the tiger.[(triple12)] The dog sees the cow.[(triple13)] The dog sees the tiger.[(triple14)] The tiger is kind.[(triple15)] The tiger sees the cow.[(triple16)] @1: The cow is big.[(((triple5) -> rule5))] The cow is kind.[(((triple9 triple5) -> rule2))] The dog needs the dog.[(((triple11 triple9) -> rule6))] The dog sees the dog.[(((triple12) -> rule3))] @2: The cow sees the cow.[(((triple2 ((triple9 triple5) -> rule2)) -> rule4))] The dog is big.[(((((triple11 triple9) -> rule6)) -> rule5))]