The bear is blue. The bear is green. The bear is red. All blue, red things are big. Red things are blue. If the bear is young and the bear is green then the bear is red. If the bear is blue then the bear is big. If the bear is green and the bear is red then the bear is young. If something is young then it is green.
The bear is blue.
("bear" "is" "blue" "+")
The bear is green.
("bear" "is" "green" "+")
The bear is red.
("bear" "is" "red" "+")
All blue, red things are big.
((("something" "is" "blue" "+") ("something" "is" "red" "+")) -> ("something" "is" "big" "+"))
Red things are blue.
((("something" "is" "red" "+")) -> ("something" "is" "blue" "+"))
If the bear is young and the bear is green then the bear is red.
((("bear" "is" "young" "+") ("bear" "is" "green" "+")) -> ("bear" "is" "red" "+"))
If the bear is blue then the bear is big.
((("bear" "is" "blue" "+")) -> ("bear" "is" "big" "+"))
If the bear is green and the bear is red then the bear is young.
((("bear" "is" "green" "+") ("bear" "is" "red" "+")) -> ("bear" "is" "young" "+"))
If something is young then it is green.
((("something" "is" "young" "+")) -> ("something" "is" "green" "+"))
The bear is red.
True
1
proof
[(triple3)]
("bear" "is" "red" "+")
triple3
The bear is not red.
False
1
inv-proof
[(triple3)]
("bear" "is" "red" "-")
triple3
The bear is young.
True
3
proof
[(((triple2 triple3) -> rule5))]
("bear" "is" "young" "+")
((triple2 triple3) -> (rule5 % int1))
The bear is young.
("bear" "is" "young" "+")
int1
The bear is not young.
False
3
inv-proof
[(((triple2 triple3) -> rule5))]
("bear" "is" "young" "-")
((triple2 triple3) -> (rule5 % int1))
The bear is young.
("bear" "is" "young" "+")
int1
The bear does not need the bear.
Unknown
inv-random
[@0: The bear needs the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "needs" "bear" "-")
The bear likes the bear.
Unknown
random
[@0: The bear likes the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "likes" "bear" "+")
@0: The bear is blue.[(triple1 OR ((triple3) -> rule2))] The bear is green.[(triple2)] The bear is red.[(triple3)] @1: The bear is big.[(((triple1) -> rule4) OR ((triple1 triple3) -> rule1) OR ((((triple3) -> rule2)) -> rule4) OR ((((triple3) -> rule2) triple3) -> rule1))] The bear is young.[(((triple2 triple3) -> rule5))]
The bear is blue.
("bear" "is" "blue" "+")
triple1
((triple3) -> (rule2 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
The bear is green.
("bear" "is" "green" "+")
triple2
The bear is red.
("bear" "is" "red" "+")
triple3
The bear is big.
("bear" "is" "big" "+")
((triple1) -> (rule4 % int1))
The bear is big.
("bear" "is" "big" "+")
int1
((triple1 triple3) -> (rule1 % int1))
The bear is big.
("bear" "is" "big" "+")
int1
((((triple3) -> (rule2 % int2))) -> (rule4 % int1))
The bear is big.
("bear" "is" "big" "+")
int1
The bear is blue.
("bear" "is" "blue" "+")
int2
((((triple3) -> (rule2 % int2)) triple3) -> (rule1 % int1))
The bear is big.
("bear" "is" "big" "+")
int1
The bear is blue.
("bear" "is" "blue" "+")
int2
The bear is young.
("bear" "is" "young" "+")
((triple2 triple3) -> (rule5 % int1))
The bear is young.
("bear" "is" "young" "+")
int1