The bear is blue. Big things are blue. If something is young then it is round. All round, big things are green. If something is green and round then it is young. All young things are big. If the bear is blue then the bear is green. If something is green and round then it is young. If something is round and blue then it is green.
The bear is blue.
("bear" "is" "blue" "+")
Big things are blue.
((("something" "is" "big" "+")) -> ("something" "is" "blue" "+"))
If something is young then it is round.
((("something" "is" "young" "+")) -> ("something" "is" "round" "+"))
All round, big things are green.
((("something" "is" "round" "+") ("something" "is" "big" "+")) -> ("something" "is" "green" "+"))
If something is green and round then it is young.
((("something" "is" "green" "+") ("something" "is" "round" "+")) -> ("something" "is" "young" "+"))
All young things are big.
((("something" "is" "young" "+")) -> ("something" "is" "big" "+"))
If the bear is blue then the bear is green.
((("bear" "is" "blue" "+")) -> ("bear" "is" "green" "+"))
If something is green and round then it is young.
((("something" "is" "green" "+") ("something" "is" "round" "+")) -> ("something" "is" "young" "+"))
If something is round and blue then it is green.
((("something" "is" "round" "+") ("something" "is" "blue" "+")) -> ("something" "is" "green" "+"))
The bear is blue.
True
1
proof
[(triple1)]
("bear" "is" "blue" "+")
triple1
The bear is not blue.
False
1
inv-proof
[(triple1)]
("bear" "is" "blue" "-")
triple1
The bear is green.
True
2
proof
[(((triple1) -> rule6))]
("bear" "is" "green" "+")
((triple1) -> (rule6 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The bear is not green.
False
2
inv-proof
[(((triple1) -> rule6))]
("bear" "is" "green" "-")
((triple1) -> (rule6 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The bear is not big.
Unknown
inv-rconc
[@4: The bear is big.[CWA. Example of deepest failure = (rule5 <- rule4 <- rule2 <- rule7 <- FAIL)]]
("bear" "is" "big" "-")
The bear is round.
Unknown
rconc
[@2: The bear is round.[CWA. Example of deepest failure = (rule2 <- rule4 <- 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 bear sees the bear.
Unknown
random
[@0: The bear sees the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "sees" "bear" "+")
@0: The bear is blue.[(triple1)] @1: The bear is green.[(((triple1) -> rule6))]
The bear is blue.
("bear" "is" "blue" "+")
triple1
The bear is green.
("bear" "is" "green" "+")
((triple1) -> (rule6 % int1))
The bear is green.
("bear" "is" "green" "+")
int1