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