The bear is blue. All red people are blue. If the bear is green then the bear is kind. All blue people are green. Kind people are big. All red, green people are blue. If someone is red and big then they are kind. Big people are blue. All kind, big people are red.
The bear is blue.
("bear" "is" "blue" "+")
All red people are blue.
((("someone" "is" "red" "+")) -> ("someone" "is" "blue" "+"))
If the bear is green then the bear is kind.
((("bear" "is" "green" "+")) -> ("bear" "is" "kind" "+"))
All blue people are green.
((("someone" "is" "blue" "+")) -> ("someone" "is" "green" "+"))
Kind people are big.
((("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
All red, green people are blue.
((("someone" "is" "red" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "blue" "+"))
If someone is red and big then they are kind.
((("someone" "is" "red" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "kind" "+"))
Big people are blue.
((("someone" "is" "big" "+")) -> ("someone" "is" "blue" "+"))
All kind, big people are red.
((("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "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) -> rule3))]
("bear" "is" "green" "+")
((triple1) -> (rule3 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The bear is not green.
False
2
inv-proof
[(((triple1) -> rule3))]
("bear" "is" "green" "-")
((triple1) -> (rule3 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The bear is kind.
True
3
proof
[(((((triple1) -> rule3)) -> rule2))]
("bear" "is" "kind" "+")
((((triple1) -> (rule3 % int2))) -> (rule2 % int1))
The bear is kind.
("bear" "is" "kind" "+")
int1
The bear is green.
("bear" "is" "green" "+")
int2
The bear is not kind.
False
3
inv-proof
[(((((triple1) -> rule3)) -> rule2))]
("bear" "is" "kind" "-")
((((triple1) -> (rule3 % int2))) -> (rule2 % int1))
The bear is kind.
("bear" "is" "kind" "+")
int1
The bear is green.
("bear" "is" "green" "+")
int2
The bear is big.
True
4
proof
[(((((((triple1) -> rule3)) -> rule2)) -> rule4))]
("bear" "is" "big" "+")
((((((triple1) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
The bear is big.
("bear" "is" "big" "+")
int1
The bear is kind.
("bear" "is" "kind" "+")
int2
The bear is green.
("bear" "is" "green" "+")
int3
The bear is not big.
False
4
inv-proof
[(((((((triple1) -> rule3)) -> rule2)) -> rule4))]
("bear" "is" "big" "-")
((((((triple1) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
The bear is big.
("bear" "is" "big" "+")
int1
The bear is kind.
("bear" "is" "kind" "+")
int2
The bear is green.
("bear" "is" "green" "+")
int3
The bear does not see the bear.
Unknown
inv-random
[@0: The bear sees the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "sees" "bear" "-")
The bear needs the bear.
Unknown
random
[@0: The bear needs the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "needs" "bear" "+")
@0: The bear is blue.[(triple1)] @1: The bear is green.[(((triple1) -> rule3))] @2: The bear is kind.[(((((triple1) -> rule3)) -> rule2))] @3: The bear is big.[(((((((triple1) -> rule3)) -> rule2)) -> rule4))] @4: The bear is red.[(((((((triple1) -> rule3)) -> rule2) ((((((triple1) -> rule3)) -> rule2)) -> rule4)) -> rule8))]
The bear is blue.
("bear" "is" "blue" "+")
triple1
The bear is green.
("bear" "is" "green" "+")
((triple1) -> (rule3 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The bear is kind.
("bear" "is" "kind" "+")
((((triple1) -> (rule3 % int2))) -> (rule2 % int1))
The bear is kind.
("bear" "is" "kind" "+")
int1
The bear is green.
("bear" "is" "green" "+")
int2
The bear is big.
("bear" "is" "big" "+")
((((((triple1) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
The bear is big.
("bear" "is" "big" "+")
int1
The bear is kind.
("bear" "is" "kind" "+")
int2
The bear is green.
("bear" "is" "green" "+")
int3
The bear is red.
("bear" "is" "red" "+")
((((((triple1) -> (rule3 % int4))) -> (rule2 % int3)) ((((((triple1) -> (rule3 % int4))) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
The bear is red.
("bear" "is" "red" "+")
int1
The bear is big.
("bear" "is" "big" "+")
int2
The bear is kind.
("bear" "is" "kind" "+")
int3
The bear is green.
("bear" "is" "green" "+")
int4