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