The bear is big. The bear is blue. The bear is green. If the bear is big and the bear is blue then the bear is nice. If the bear is big and the bear is green then the bear is nice. Blue people are nice.
The bear is big.
("bear" "is" "big" "+")
The bear is blue.
("bear" "is" "blue" "+")
The bear is green.
("bear" "is" "green" "+")
If the bear is big and the bear is blue then the bear is nice.
((("bear" "is" "big" "+") ("bear" "is" "blue" "+")) -> ("bear" "is" "nice" "+"))
If the bear is big and the bear is green then the bear is nice.
((("bear" "is" "big" "+") ("bear" "is" "green" "+")) -> ("bear" "is" "nice" "+"))
Blue people are nice.
((("someone" "is" "blue" "+")) -> ("someone" "is" "nice" "+"))
The bear is big.
True
1
proof
[(triple1)]
("bear" "is" "big" "+")
triple1
The bear is not blue.
False
1
inv-proof
[(triple2)]
("bear" "is" "blue" "-")
triple2
The bear is nice.
True
2
proof
[(((triple2) -> rule3) OR ((triple1 triple2) -> rule1) OR ((triple1 triple3) -> rule2))]
("bear" "is" "nice" "+")
((triple2) -> (rule3 % int1))
The bear is nice.
("bear" "is" "nice" "+")
int1
((triple1 triple2) -> (rule1 % int1))
The bear is nice.
("bear" "is" "nice" "+")
int1
((triple1 triple3) -> (rule2 % int1))
The bear is nice.
("bear" "is" "nice" "+")
int1
The bear is not nice.
False
2
inv-proof
[(((triple2) -> rule3) OR ((triple1 triple2) -> rule1) OR ((triple1 triple3) -> rule2))]
("bear" "is" "nice" "-")
((triple2) -> (rule3 % int1))
The bear is nice.
("bear" "is" "nice" "+")
int1
((triple1 triple2) -> (rule1 % int1))
The bear is nice.
("bear" "is" "nice" "+")
int1
((triple1 triple3) -> (rule2 % int1))
The bear is nice.
("bear" "is" "nice" "+")
int1
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 bear sees the bear.
Unknown
random
[@0: The bear sees the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "sees" "bear" "+")
The bear does not visit the bear.
Unknown
inv-random
[@0: The bear visits the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "visits" "bear" "-")
The bear is red.
Unknown
random
[@0: The bear is red.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "red" "+")
@0: The bear is big.[(triple1)] The bear is blue.[(triple2)] The bear is green.[(triple3)] @1: The bear is nice.[(((triple2) -> rule3) OR ((triple1 triple2) -> rule1) OR ((triple1 triple3) -> rule2))]
The bear is big.
("bear" "is" "big" "+")
triple1
The bear is blue.
("bear" "is" "blue" "+")
triple2
The bear is green.
("bear" "is" "green" "+")
triple3
The bear is nice.
("bear" "is" "nice" "+")
((triple2) -> (rule3 % int1))
The bear is nice.
("bear" "is" "nice" "+")
int1
((triple1 triple2) -> (rule1 % int1))
The bear is nice.
("bear" "is" "nice" "+")
int1
((triple1 triple3) -> (rule2 % int1))
The bear is nice.
("bear" "is" "nice" "+")
int1