The cat does not chase the cow. The cat is cold. The cat is not green. The cow chases the dog. The cow is blue. The cow is red. The cow sees the dog. The dog needs the cow. The dog sees the cat. The dog sees the cow. If someone chases the cat then they are not red. If someone chases the cow and they are not blue then they are red. If the dog chases the cat and the cat sees the cow then the cow is not red. If the cow chases the cat and the dog does not chase the cow then the dog does not need the cat. If someone sees the cat and the cat sees the dog then the dog needs the cat. If someone is rough then they do not see the dog. If someone sees the dog and the dog chases the cow then the cow chases the dog. If someone needs the cow then the cow is cold.
The cat does not chase the cow.
("cat" "chases" "cow" "-")
The cat is cold.
("cat" "is" "cold" "+")
The cat is not green.
("cat" "is" "green" "-")
The cow chases the dog.
("cow" "chases" "dog" "+")
The cow is blue.
("cow" "is" "blue" "+")
The cow is red.
("cow" "is" "red" "+")
The cow sees the dog.
("cow" "sees" "dog" "+")
The dog needs the cow.
("dog" "needs" "cow" "+")
The dog sees the cat.
("dog" "sees" "cat" "+")
The dog sees the cow.
("dog" "sees" "cow" "+")
If someone chases the cat then they are not red.
((("someone" "chases" "cat" "+")) -> ("someone" "is" "red" "-"))
If someone chases the cow and they are not blue then they are red.
((("someone" "chases" "cow" "+") ("someone" "is" "blue" "~")) -> ("someone" "is" "red" "+"))
If the dog chases the cat and the cat sees the cow then the cow is not red.
((("dog" "chases" "cat" "+") ("cat" "sees" "cow" "+")) -> ("cow" "is" "red" "-"))
If the cow chases the cat and the dog does not chase the cow then the dog does not need the cat.
((("cow" "chases" "cat" "+") ("dog" "chases" "cow" "~")) -> ("dog" "needs" "cat" "-"))
If someone sees the cat and the cat sees the dog then the dog needs the cat.
((("someone" "sees" "cat" "+") ("cat" "sees" "dog" "+")) -> ("dog" "needs" "cat" "+"))
If someone is rough then they do not see the dog.
((("someone" "is" "rough" "+")) -> ("someone" "sees" "dog" "-"))
If someone sees the dog and the dog chases the cow then the cow chases the dog.
((("someone" "sees" "dog" "+") ("dog" "chases" "cow" "+")) -> ("cow" "chases" "dog" "+"))
If someone needs the cow then the cow is cold.
((("someone" "needs" "cow" "+")) -> ("cow" "is" "cold" "+"))
The cat is not green.
True
1
proof
[(triple3)]
("cat" "is" "green" "-")
triple3
The cow is not blue.
False
1
inv-proof
[(triple5)]
("cow" "is" "blue" "-")
triple5
The dog is not red.
Unknown
inv-rconc
[@1: The dog is red.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("dog" "is" "red" "-")
The cat is blue.
Unknown
random
[@0: The cat is blue.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "blue" "+")
@0: The cat does not chase the cow.[(triple1)] The cat is cold.[(triple2)] The cat is not green.[(triple3)] The cow chases the dog.[(triple4)] The cow is blue.[(triple5)] The cow is red.[(triple6)] The cow sees the dog.[(triple7)] The dog needs the cow.[(triple8)] The dog sees the cat.[(triple9)] The dog sees the cow.[(triple10)] @1: The cow is cold.[(((triple8) -> rule8))]
The cat does not chase the cow.
("cat" "chases" "cow" "-")
triple1
The cat is cold.
("cat" "is" "cold" "+")
triple2
The cat is not green.
("cat" "is" "green" "-")
triple3
The cow chases the dog.
("cow" "chases" "dog" "+")
triple4
The cow is blue.
("cow" "is" "blue" "+")
triple5
The cow is red.
("cow" "is" "red" "+")
triple6
The cow sees the dog.
("cow" "sees" "dog" "+")
triple7
The dog needs the cow.
("dog" "needs" "cow" "+")
triple8
The dog sees the cat.
("dog" "sees" "cat" "+")
triple9
The dog sees the cow.
("dog" "sees" "cow" "+")
triple10
The cow is cold.
("cow" "is" "cold" "+")
((triple8) -> (rule8 % int1))
The cow is cold.
("cow" "is" "cold" "+")
int1