The bear is blue. The bear is cold. The bear is red. The bear likes the dog. The dog does not eat the bear. The dog is green. The dog is red. The dog is round. The dog does not like the bear. The dog needs the bear. If someone needs the bear and the bear eats the dog then the dog does not need the bear. If someone needs the dog then they like the dog. If someone likes the dog and the dog is round then they do not need the bear.
The bear is blue.
("bear" "is" "blue" "+")
The bear is cold.
("bear" "is" "cold" "+")
The bear is red.
("bear" "is" "red" "+")
The bear likes the dog.
("bear" "likes" "dog" "+")
The dog does not eat the bear.
("dog" "eats" "bear" "-")
The dog is green.
("dog" "is" "green" "+")
The dog is red.
("dog" "is" "red" "+")
The dog is round.
("dog" "is" "round" "+")
The dog does not like the bear.
("dog" "likes" "bear" "-")
The dog needs the bear.
("dog" "needs" "bear" "+")
If someone needs the bear and the bear eats the dog then the dog does not need the bear.
((("someone" "needs" "bear" "+") ("bear" "eats" "dog" "+")) -> ("dog" "needs" "bear" "-"))
If someone needs the dog then they like the dog.
((("someone" "needs" "dog" "+")) -> ("someone" "likes" "dog" "+"))
If someone likes the dog and the dog is round then they do not need the bear.
((("someone" "likes" "dog" "+") ("dog" "is" "round" "+")) -> ("someone" "needs" "bear" "-"))
The bear is blue.
True
1
proof
[(triple1)]
("bear" "is" "blue" "+")
triple1
The bear is not red.
False
1
inv-proof
[(triple3)]
("bear" "is" "red" "-")
triple3
The bear does not need the bear.
True
3
proof
[(((triple4 triple8) -> rule3))]
("bear" "needs" "bear" "-")
((triple4 triple8) -> (rule3 % int1))
The bear does not need the bear.
("bear" "needs" "bear" "-")
int1
The bear needs the bear.
False
3
inv-proof
[(((triple4 triple8) -> rule3))]
("bear" "needs" "bear" "+")
((triple4 triple8) -> (rule3 % int1))
The bear does not need the bear.
("bear" "needs" "bear" "-")
int1
The dog does not like the dog.
Unknown
inv-rconc
[@1: The dog likes the dog.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("dog" "likes" "dog" "-")
The bear is round.
Unknown
random
[@0: The bear is round.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "round" "+")
The bear does not eat the bear.
Unknown
inv-random
[@0: The bear eats the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "eats" "bear" "-")
The dog eats the dog.
Unknown
random
[@0: The dog eats the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "eats" "dog" "+")
@0: The bear is blue.[(triple1)] The bear is cold.[(triple2)] The bear is red.[(triple3)] The bear likes the dog.[(triple4)] The dog does not eat the bear.[(triple5)] The dog does not like the bear.[(triple9)] The dog is green.[(triple6)] The dog is red.[(triple7)] The dog is round.[(triple8)] The dog needs the bear.[(triple10)] @1: The bear does not need the bear.[(((triple4 triple8) -> rule3))]
The bear is blue.
("bear" "is" "blue" "+")
triple1
The bear is cold.
("bear" "is" "cold" "+")
triple2
The bear is red.
("bear" "is" "red" "+")
triple3
The bear likes the dog.
("bear" "likes" "dog" "+")
triple4
The dog does not eat the bear.
("dog" "eats" "bear" "-")
triple5
The dog does not like the bear.
("dog" "likes" "bear" "-")
triple9
The dog is green.
("dog" "is" "green" "+")
triple6
The dog is red.
("dog" "is" "red" "+")
triple7
The dog is round.
("dog" "is" "round" "+")
triple8
The dog needs the bear.
("dog" "needs" "bear" "+")
triple10
The bear does not need the bear.
("bear" "needs" "bear" "-")
((triple4 triple8) -> (rule3 % int1))
The bear does not need the bear.
("bear" "needs" "bear" "-")
int1