The bear is big. The bear is green. The bear is rough. Round people are green. All blue people are green. If the bear is big and the bear is green then the bear is round. Big, rough people are blue. Rough, round people are green. If the bear is big then the bear is round.
The bear is big.
("bear" "is" "big" "+")
The bear is green.
("bear" "is" "green" "+")
The bear is rough.
("bear" "is" "rough" "+")
Round people are green.
((("someone" "is" "round" "+")) -> ("someone" "is" "green" "+"))
All blue people are green.
((("someone" "is" "blue" "+")) -> ("someone" "is" "green" "+"))
If the bear is big and the bear is green then the bear is round.
((("bear" "is" "big" "+") ("bear" "is" "green" "+")) -> ("bear" "is" "round" "+"))
Big, rough people are blue.
((("someone" "is" "big" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "blue" "+"))
Rough, round people are green.
((("someone" "is" "rough" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "green" "+"))
If the bear is big then the bear is round.
((("bear" "is" "big" "+")) -> ("bear" "is" "round" "+"))
The bear is big.
True
1
proof
[(triple1)]
("bear" "is" "big" "+")
triple1
The bear is not big.
False
1
inv-proof
[(triple1)]
("bear" "is" "big" "-")
triple1
The bear is blue.
True
3
proof
[(((triple1 triple3) -> rule4))]
("bear" "is" "blue" "+")
((triple1 triple3) -> (rule4 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
The bear is not round.
False
2
inv-proof
[(((triple1) -> rule6) OR ((triple1 triple2) -> rule3) OR ((triple1 ((((triple1 triple3) -> rule4)) -> rule2)) -> rule3))]
("bear" "is" "round" "-")
((triple1) -> (rule6 % int1))
The bear is round.
("bear" "is" "round" "+")
int1
((triple1 triple2) -> (rule3 % int1))
The bear is round.
("bear" "is" "round" "+")
int1
((triple1 ((((triple1 triple3) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
The bear is round.
("bear" "is" "round" "+")
int1
The bear is green.
("bear" "is" "green" "+")
int2
The bear is blue.
("bear" "is" "blue" "+")
int3
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 chases the bear.
Unknown
random
[@0: The bear chases the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "chases" "bear" "+")
@0: The bear is big.[(triple1)] The bear is green.[(triple2 OR ((((triple1) -> rule6)) -> rule1) OR ((((triple1 triple3) -> rule4)) -> rule2) OR ((triple3 ((triple1) -> rule6)) -> rule5))] The bear is rough.[(triple3)] @1: The bear is blue.[(((triple1 triple3) -> rule4))] The bear is round.[(((triple1) -> rule6) OR ((triple1 triple2) -> rule3) OR ((triple1 ((((triple1 triple3) -> rule4)) -> rule2)) -> rule3))]
The bear is big.
("bear" "is" "big" "+")
triple1
The bear is green.
("bear" "is" "green" "+")
triple2
((((triple1) -> (rule6 % int2))) -> (rule1 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The bear is round.
("bear" "is" "round" "+")
int2
((((triple1 triple3) -> (rule4 % int2))) -> (rule2 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The bear is blue.
("bear" "is" "blue" "+")
int2
((triple3 ((triple1) -> (rule6 % int2))) -> (rule5 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The bear is round.
("bear" "is" "round" "+")
int2
The bear is rough.
("bear" "is" "rough" "+")
triple3
The bear is blue.
("bear" "is" "blue" "+")
((triple1 triple3) -> (rule4 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
The bear is round.
("bear" "is" "round" "+")
((triple1) -> (rule6 % int1))
The bear is round.
("bear" "is" "round" "+")
int1
((triple1 triple2) -> (rule3 % int1))
The bear is round.
("bear" "is" "round" "+")
int1
((triple1 ((((triple1 triple3) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
The bear is round.
("bear" "is" "round" "+")
int1
The bear is green.
("bear" "is" "green" "+")
int2
The bear is blue.
("bear" "is" "blue" "+")
int3