The bear is nice. All green things are kind. All green things are red. If the bear is red and the bear is green then the bear is blue. Nice things are green. All red, nice things are kind. If the bear is red and the bear is kind then the bear is green.
The bear is nice.
("bear" "is" "nice" "+")
All green things are kind.
((("something" "is" "green" "+")) -> ("something" "is" "kind" "+"))
All green things are red.
((("something" "is" "green" "+")) -> ("something" "is" "red" "+"))
If the bear is red and the bear is green then the bear is blue.
((("bear" "is" "red" "+") ("bear" "is" "green" "+")) -> ("bear" "is" "blue" "+"))
Nice things are green.
((("something" "is" "nice" "+")) -> ("something" "is" "green" "+"))
All red, nice things are kind.
((("something" "is" "red" "+") ("something" "is" "nice" "+")) -> ("something" "is" "kind" "+"))
If the bear is red and the bear is kind then the bear is green.
((("bear" "is" "red" "+") ("bear" "is" "kind" "+")) -> ("bear" "is" "green" "+"))
The bear is nice.
True
1
proof
[(triple1)]
("bear" "is" "nice" "+")
triple1
The bear is not nice.
False
1
inv-proof
[(triple1)]
("bear" "is" "nice" "-")
triple1
The bear is green.
True
2
proof
[(((triple1) -> rule4))]
("bear" "is" "green" "+")
((triple1) -> (rule4 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The bear is not green.
False
2
inv-proof
[(((triple1) -> rule4))]
("bear" "is" "green" "-")
((triple1) -> (rule4 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The bear is red.
True
3
proof
[(((((triple1) -> rule4)) -> rule2))]
("bear" "is" "red" "+")
((((triple1) -> (rule4 % int2))) -> (rule2 % int1))
The bear is red.
("bear" "is" "red" "+")
int1
The bear is green.
("bear" "is" "green" "+")
int2
The bear is not red.
False
3
inv-proof
[(((((triple1) -> rule4)) -> rule2))]
("bear" "is" "red" "-")
((((triple1) -> (rule4 % int2))) -> (rule2 % int1))
The bear is red.
("bear" "is" "red" "+")
int1
The bear is green.
("bear" "is" "green" "+")
int2
The bear is blue.
True
6
proof
[(((((((triple1) -> rule4)) -> rule2) ((triple1) -> rule4)) -> rule3))]
("bear" "is" "blue" "+")
((((((triple1) -> (rule4 % int3))) -> (rule2 % int2)) ((triple1) -> (rule4 % int3))) -> (rule3 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
The bear is red.
("bear" "is" "red" "+")
int2
The bear is green.
("bear" "is" "green" "+")
int3
The bear is not blue.
False
6
inv-proof
[(((((((triple1) -> rule4)) -> rule2) ((triple1) -> rule4)) -> rule3))]
("bear" "is" "blue" "-")
((((((triple1) -> (rule4 % int3))) -> (rule2 % int2)) ((triple1) -> (rule4 % int3))) -> (rule3 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
The bear is red.
("bear" "is" "red" "+")
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 sees the bear.
Unknown
random
[@0: The bear sees the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "sees" "bear" "+")
@0: The bear is nice.[(triple1)] @1: The bear is green.[(((triple1) -> rule4))] @2: The bear is kind.[(((((triple1) -> rule4)) -> rule1) OR ((((((triple1) -> rule4)) -> rule2) triple1) -> rule5))] The bear is red.[(((((triple1) -> rule4)) -> rule2))] @3: The bear is blue.[(((((((triple1) -> rule4)) -> rule2) ((triple1) -> rule4)) -> rule3))]
The bear is nice.
("bear" "is" "nice" "+")
triple1
The bear is green.
("bear" "is" "green" "+")
((triple1) -> (rule4 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The bear is kind.
("bear" "is" "kind" "+")
((((triple1) -> (rule4 % int2))) -> (rule1 % int1))
The bear is kind.
("bear" "is" "kind" "+")
int1
The bear is green.
("bear" "is" "green" "+")
int2
((((((triple1) -> (rule4 % int3))) -> (rule2 % int2)) triple1) -> (rule5 % int1))
The bear is kind.
("bear" "is" "kind" "+")
int1
The bear is red.
("bear" "is" "red" "+")
int2
The bear is green.
("bear" "is" "green" "+")
int3
The bear is red.
("bear" "is" "red" "+")
((((triple1) -> (rule4 % int2))) -> (rule2 % int1))
The bear is red.
("bear" "is" "red" "+")
int1
The bear is green.
("bear" "is" "green" "+")
int2
The bear is blue.
("bear" "is" "blue" "+")
((((((triple1) -> (rule4 % int3))) -> (rule2 % int2)) ((triple1) -> (rule4 % int3))) -> (rule3 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
The bear is red.
("bear" "is" "red" "+")
int2
The bear is green.
("bear" "is" "green" "+")
int3