The bear is blue. The bear is not kind. The bear is red. If something is green and not kind then it is not young. If something is green and kind then it is young. Kind things are young. All blue things are green. If something is red then it is green. If something is kind and young then it is not red. If the bear is green and the bear is not kind then the bear is not young. If the bear is young then the bear is red.
The bear is blue.
("bear" "is" "blue" "+")
The bear is not kind.
("bear" "is" "kind" "-")
The bear is red.
("bear" "is" "red" "+")
If something is green and not kind then it is not young.
((("something" "is" "green" "+") ("something" "is" "kind" "~")) -> ("something" "is" "young" "-"))
If something is green and kind then it is young.
((("something" "is" "green" "+") ("something" "is" "kind" "+")) -> ("something" "is" "young" "+"))
Kind things are young.
((("something" "is" "kind" "+")) -> ("something" "is" "young" "+"))
All blue things are green.
((("something" "is" "blue" "+")) -> ("something" "is" "green" "+"))
If something is red then it is green.
((("something" "is" "red" "+")) -> ("something" "is" "green" "+"))
If something is kind and young then it is not red.
((("something" "is" "kind" "+") ("something" "is" "young" "+")) -> ("something" "is" "red" "-"))
If the bear is green and the bear is not kind then the bear is not young.
((("bear" "is" "green" "+") ("bear" "is" "kind" "~")) -> ("bear" "is" "young" "-"))
If the bear is young then the bear is red.
((("bear" "is" "young" "+")) -> ("bear" "is" "red" "+"))
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) -> rule4) OR ((triple3) -> rule5))]
("bear" "is" "green" "+")
((triple1) -> (rule4 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
((triple3) -> (rule5 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The bear is not green.
False
2
inv-proof
[(((triple1) -> rule4) OR ((triple3) -> rule5))]
("bear" "is" "green" "-")
((triple1) -> (rule4 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
((triple3) -> (rule5 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The bear is not young.
True
4
proof
[(((((triple1) -> rule4) triple2) -> rule1) OR ((((triple1) -> rule4) triple2) -> rule7) OR ((((triple3) -> rule5) triple2) -> rule1) OR ((((triple3) -> rule5) triple2) -> rule7))]
("bear" "is" "young" "-")
((((triple1) -> (rule4 % int2)) triple2) -> (rule1 % int1))
The bear is not young.
("bear" "is" "young" "-")
int1
The bear is green.
("bear" "is" "green" "+")
int2
((((triple1) -> (rule4 % int2)) triple2) -> (rule7 % int1))
The bear is not young.
("bear" "is" "young" "-")
int1
The bear is green.
("bear" "is" "green" "+")
int2
((((triple3) -> (rule5 % int2)) triple2) -> (rule1 % int1))
The bear is not young.
("bear" "is" "young" "-")
int1
The bear is green.
("bear" "is" "green" "+")
int2
((((triple3) -> (rule5 % int2)) triple2) -> (rule7 % int1))
The bear is not young.
("bear" "is" "young" "-")
int1
The bear is green.
("bear" "is" "green" "+")
int2
The bear is young.
False
4
inv-proof
[(((((triple1) -> rule4) triple2) -> rule1) OR ((((triple1) -> rule4) triple2) -> rule7) OR ((((triple3) -> rule5) triple2) -> rule1) OR ((((triple3) -> rule5) triple2) -> rule7))]
("bear" "is" "young" "+")
((((triple1) -> (rule4 % int2)) triple2) -> (rule1 % int1))
The bear is not young.
("bear" "is" "young" "-")
int1
The bear is green.
("bear" "is" "green" "+")
int2
((((triple1) -> (rule4 % int2)) triple2) -> (rule7 % int1))
The bear is not young.
("bear" "is" "young" "-")
int1
The bear is green.
("bear" "is" "green" "+")
int2
((((triple3) -> (rule5 % int2)) triple2) -> (rule1 % int1))
The bear is not young.
("bear" "is" "young" "-")
int1
The bear is green.
("bear" "is" "green" "+")
int2
((((triple3) -> (rule5 % int2)) triple2) -> (rule7 % int1))
The bear is not young.
("bear" "is" "young" "-")
int1
The bear is green.
("bear" "is" "green" "+")
int2
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)] The bear is not kind.[(triple2)] The bear is red.[(triple3)] @1: The bear is green.[(((triple1) -> rule4) OR ((triple3) -> rule5))] @2: The bear is not young.[(((((triple1) -> rule4) triple2) -> rule1) OR ((((triple1) -> rule4) triple2) -> rule7) OR ((((triple3) -> rule5) triple2) -> rule1) OR ((((triple3) -> rule5) triple2) -> rule7))]
The bear is blue.
("bear" "is" "blue" "+")
triple1
The bear is not kind.
("bear" "is" "kind" "-")
triple2
The bear is red.
("bear" "is" "red" "+")
triple3
The bear is green.
("bear" "is" "green" "+")
((triple1) -> (rule4 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
((triple3) -> (rule5 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The bear is not young.
("bear" "is" "young" "-")
((((triple1) -> (rule4 % int2)) triple2) -> (rule1 % int1))
The bear is not young.
("bear" "is" "young" "-")
int1
The bear is green.
("bear" "is" "green" "+")
int2
((((triple1) -> (rule4 % int2)) triple2) -> (rule7 % int1))
The bear is not young.
("bear" "is" "young" "-")
int1
The bear is green.
("bear" "is" "green" "+")
int2
((((triple3) -> (rule5 % int2)) triple2) -> (rule1 % int1))
The bear is not young.
("bear" "is" "young" "-")
int1
The bear is green.
("bear" "is" "green" "+")
int2
((((triple3) -> (rule5 % int2)) triple2) -> (rule7 % int1))
The bear is not young.
("bear" "is" "young" "-")
int1
The bear is green.
("bear" "is" "green" "+")
int2