The bear eats the dog. The bear is not big. The bear is blue. The bear is red. The bear does not like the dog. The bear needs the dog. The dog eats the bear. The dog is not big. The dog is green. The dog needs the bear. If something is green then it likes the bear.
The bear eats the dog.
("bear" "eats" "dog" "+")
The bear is not big.
("bear" "is" "big" "-")
The bear is blue.
("bear" "is" "blue" "+")
The bear is red.
("bear" "is" "red" "+")
The bear does not like the dog.
("bear" "likes" "dog" "-")
The bear needs the dog.
("bear" "needs" "dog" "+")
The dog eats the bear.
("dog" "eats" "bear" "+")
The dog is not big.
("dog" "is" "big" "-")
The dog is green.
("dog" "is" "green" "+")
The dog needs the bear.
("dog" "needs" "bear" "+")
If something is green then it likes the bear.
((("something" "is" "green" "+")) -> ("something" "likes" "bear" "+"))
The dog is green.
True
1
proof
[(triple9)]
("dog" "is" "green" "+")
triple9
The bear does not eat the dog.
False
1
inv-proof
[(triple1)]
("bear" "eats" "dog" "-")
triple1
The dog likes the bear.
True
2
proof
[(((triple9) -> rule1))]
("dog" "likes" "bear" "+")
((triple9) -> (rule1 % int1))
The dog likes the bear.
("dog" "likes" "bear" "+")
int1
The dog does not like the bear.
False
2
inv-proof
[(((triple9) -> rule1))]
("dog" "likes" "bear" "-")
((triple9) -> (rule1 % int1))
The dog likes the bear.
("dog" "likes" "bear" "+")
int1
The bear does not like the bear.
Unknown
inv-rconc
[@1: The bear likes the bear.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "likes" "bear" "-")
The bear is kind.
Unknown
random
[@0: The bear is kind.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "kind" "+")
The dog is not kind.
Unknown
inv-random
[@0: The dog is kind.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "kind" "-")
The bear needs the bear.
Unknown
random
[@0: The bear needs the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "needs" "bear" "+")
@0: The bear does not like the dog.[(triple5)] The bear eats the dog.[(triple1)] The bear is blue.[(triple3)] The bear is not big.[(triple2)] The bear is red.[(triple4)] The bear needs the dog.[(triple6)] The dog eats the bear.[(triple7)] The dog is green.[(triple9)] The dog is not big.[(triple8)] The dog needs the bear.[(triple10)] @1: The dog likes the bear.[(((triple9) -> rule1))]
The bear does not like the dog.
("bear" "likes" "dog" "-")
triple5
The bear eats the dog.
("bear" "eats" "dog" "+")
triple1
The bear is blue.
("bear" "is" "blue" "+")
triple3
The bear is not big.
("bear" "is" "big" "-")
triple2
The bear is red.
("bear" "is" "red" "+")
triple4
The bear needs the dog.
("bear" "needs" "dog" "+")
triple6
The dog eats the bear.
("dog" "eats" "bear" "+")
triple7
The dog is green.
("dog" "is" "green" "+")
triple9
The dog is not big.
("dog" "is" "big" "-")
triple8
The dog needs the bear.
("dog" "needs" "bear" "+")
triple10
The dog likes the bear.
("dog" "likes" "bear" "+")
((triple9) -> (rule1 % int1))
The dog likes the bear.
("dog" "likes" "bear" "+")
int1