The bear is big. Big, young things are round. Young things are round. Green things are round. If something is blue and not young then it is round. All blue things are round. Round, young things are not big. Round, green things are blue. Big things are green.
The bear is big.
("bear" "is" "big" "+")
Big, young things are round.
((("something" "is" "big" "+") ("something" "is" "young" "+")) -> ("something" "is" "round" "+"))
Young things are round.
((("something" "is" "young" "+")) -> ("something" "is" "round" "+"))
Green things are round.
((("something" "is" "green" "+")) -> ("something" "is" "round" "+"))
If something is blue and not young then it is round.
((("something" "is" "blue" "+") ("something" "is" "young" "~")) -> ("something" "is" "round" "+"))
All blue things are round.
((("something" "is" "blue" "+")) -> ("something" "is" "round" "+"))
Round, young things are not big.
((("something" "is" "round" "+") ("something" "is" "young" "+")) -> ("something" "is" "big" "-"))
Round, green things are blue.
((("something" "is" "round" "+") ("something" "is" "green" "+")) -> ("something" "is" "blue" "+"))
Big things are green.
((("something" "is" "big" "+")) -> ("something" "is" "green" "+"))
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 green.
True
2
proof
[(((triple1) -> rule8))]
("bear" "is" "green" "+")
((triple1) -> (rule8 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The bear is not green.
False
2
inv-proof
[(((triple1) -> rule8))]
("bear" "is" "green" "-")
((triple1) -> (rule8 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The bear is round.
True
3
proof
[(((((triple1) -> rule8)) -> rule3))]
("bear" "is" "round" "+")
((((triple1) -> (rule8 % int2))) -> (rule3 % int1))
The bear is round.
("bear" "is" "round" "+")
int1
The bear is green.
("bear" "is" "green" "+")
int2
The bear is not round.
False
3
inv-proof
[(((((triple1) -> rule8)) -> rule3))]
("bear" "is" "round" "-")
((((triple1) -> (rule8 % int2))) -> (rule3 % int1))
The bear is round.
("bear" "is" "round" "+")
int1
The bear is green.
("bear" "is" "green" "+")
int2
The bear is blue.
True
6
proof
[(((((((triple1) -> rule8)) -> rule3) ((triple1) -> rule8)) -> rule7))]
("bear" "is" "blue" "+")
((((((triple1) -> (rule8 % int3))) -> (rule3 % int2)) ((triple1) -> (rule8 % int3))) -> (rule7 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
The bear is round.
("bear" "is" "round" "+")
int2
The bear is green.
("bear" "is" "green" "+")
int3
The bear is not blue.
False
6
inv-proof
[(((((((triple1) -> rule8)) -> rule3) ((triple1) -> rule8)) -> rule7))]
("bear" "is" "blue" "-")
((((((triple1) -> (rule8 % int3))) -> (rule3 % int2)) ((triple1) -> (rule8 % int3))) -> (rule7 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
The bear is round.
("bear" "is" "round" "+")
int2
The bear is green.
("bear" "is" "green" "+")
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 is young.
Unknown
random
[@0: The bear is young.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "young" "+")
The bear does not like the bear.
Unknown
inv-random
[@0: The bear likes the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "likes" "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)] @1: The bear is green.[(((triple1) -> rule8))] @2: The bear is round.[(((((triple1) -> rule8)) -> rule3))] @3: The bear is blue.[(((((((triple1) -> rule8)) -> rule3) ((triple1) -> rule8)) -> rule7))]
The bear is big.
("bear" "is" "big" "+")
triple1
The bear is green.
("bear" "is" "green" "+")
((triple1) -> (rule8 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The bear is round.
("bear" "is" "round" "+")
((((triple1) -> (rule8 % 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" "+")
((((((triple1) -> (rule8 % int3))) -> (rule3 % int2)) ((triple1) -> (rule8 % int3))) -> (rule7 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
The bear is round.
("bear" "is" "round" "+")
int2
The bear is green.
("bear" "is" "green" "+")
int3