The bear is blue. The bear is cold. The bear is red. If someone is young and not cold then they are red. If someone is cold then they are big. If someone is young then they are big. All big people are not young. If someone is young and not big then they are not blue. If someone is cold and not red then they are not blue.
The bear is blue.
("bear" "is" "blue" "+")
The bear is cold.
("bear" "is" "cold" "+")
The bear is red.
("bear" "is" "red" "+")
If someone is young and not cold then they are red.
((("someone" "is" "young" "+") ("someone" "is" "cold" "~")) -> ("someone" "is" "red" "+"))
If someone is cold then they are big.
((("someone" "is" "cold" "+")) -> ("someone" "is" "big" "+"))
If someone is young then they are big.
((("someone" "is" "young" "+")) -> ("someone" "is" "big" "+"))
All big people are not young.
((("someone" "is" "big" "+")) -> ("someone" "is" "young" "-"))
If someone is young and not big then they are not blue.
((("someone" "is" "young" "+") ("someone" "is" "big" "~")) -> ("someone" "is" "blue" "-"))
If someone is cold and not red then they are not blue.
((("someone" "is" "cold" "+") ("someone" "is" "red" "~")) -> ("someone" "is" "blue" "-"))
The bear is red.
True
1
proof
[(triple3)]
("bear" "is" "red" "+")
triple3
The bear is not cold.
False
1
inv-proof
[(triple2)]
("bear" "is" "cold" "-")
triple2
The bear is big.
True
2
proof
[(((triple2) -> rule2))]
("bear" "is" "big" "+")
((triple2) -> (rule2 % int1))
The bear is big.
("bear" "is" "big" "+")
int1
The bear is not big.
False
2
inv-proof
[(((triple2) -> rule2))]
("bear" "is" "big" "-")
((triple2) -> (rule2 % int1))
The bear is big.
("bear" "is" "big" "+")
int1
The bear is not young.
True
3
proof
[(((((triple2) -> rule2)) -> rule4))]
("bear" "is" "young" "-")
((((triple2) -> (rule2 % int2))) -> (rule4 % int1))
The bear is not young.
("bear" "is" "young" "-")
int1
The bear is big.
("bear" "is" "big" "+")
int2
The bear is young.
False
3
inv-proof
[(((((triple2) -> rule2)) -> rule4))]
("bear" "is" "young" "+")
((((triple2) -> (rule2 % int2))) -> (rule4 % int1))
The bear is not young.
("bear" "is" "young" "-")
int1
The bear is big.
("bear" "is" "big" "+")
int2
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 chases the bear.
Unknown
random
[@0: The bear chases the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "chases" "bear" "+")
@0: The bear is blue.[(triple1)] The bear is cold.[(triple2)] The bear is red.[(triple3)] @1: The bear is big.[(((triple2) -> rule2))] @2: The bear is not young.[(((((triple2) -> rule2)) -> rule4))]
The bear is blue.
("bear" "is" "blue" "+")
triple1
The bear is cold.
("bear" "is" "cold" "+")
triple2
The bear is red.
("bear" "is" "red" "+")
triple3
The bear is big.
("bear" "is" "big" "+")
((triple2) -> (rule2 % int1))
The bear is big.
("bear" "is" "big" "+")
int1
The bear is not young.
("bear" "is" "young" "-")
((((triple2) -> (rule2 % int2))) -> (rule4 % int1))
The bear is not young.
("bear" "is" "young" "-")
int1
The bear is big.
("bear" "is" "big" "+")
int2