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