The bear is young. If someone is blue and rough then they are cold. Rough, young people are blue. If someone is young then they are rough.
The bear is young.
("bear" "is" "young" "+")
If someone is blue and rough then they are cold.
((("someone" "is" "blue" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "cold" "+"))
Rough, young people are blue.
((("someone" "is" "rough" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "blue" "+"))
If someone is young then they are rough.
((("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
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 rough.
True
2
proof
[(((triple1) -> rule3))]
("bear" "is" "rough" "+")
((triple1) -> (rule3 % int1))
The bear is rough.
("bear" "is" "rough" "+")
int1
The bear is not rough.
False
2
inv-proof
[(((triple1) -> rule3))]
("bear" "is" "rough" "-")
((triple1) -> (rule3 % int1))
The bear is rough.
("bear" "is" "rough" "+")
int1
The bear is blue.
True
4
proof
[(((((triple1) -> rule3) triple1) -> rule2))]
("bear" "is" "blue" "+")
((((triple1) -> (rule3 % int2)) triple1) -> (rule2 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
The bear is rough.
("bear" "is" "rough" "+")
int2
The bear is not blue.
False
4
inv-proof
[(((((triple1) -> rule3) triple1) -> rule2))]
("bear" "is" "blue" "-")
((((triple1) -> (rule3 % int2)) triple1) -> (rule2 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
The bear is rough.
("bear" "is" "rough" "+")
int2
The bear is not green.
Unknown
inv-random
[@0: The bear is green.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "green" "-")
The bear needs the bear.
Unknown
random
[@0: The bear needs the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "needs" "bear" "+")
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 likes the bear.
Unknown
random
[@0: The bear likes the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "likes" "bear" "+")
@0: The bear is young.[(triple1)] @1: The bear is rough.[(((triple1) -> rule3))] @2: The bear is blue.[(((((triple1) -> rule3) triple1) -> rule2))] @3: The bear is cold.[(((((((triple1) -> rule3) triple1) -> rule2) ((triple1) -> rule3)) -> rule1))]
The bear is young.
("bear" "is" "young" "+")
triple1
The bear is rough.
("bear" "is" "rough" "+")
((triple1) -> (rule3 % int1))
The bear is rough.
("bear" "is" "rough" "+")
int1
The bear is blue.
("bear" "is" "blue" "+")
((((triple1) -> (rule3 % int2)) triple1) -> (rule2 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
The bear is rough.
("bear" "is" "rough" "+")
int2
The bear is cold.
("bear" "is" "cold" "+")
((((((triple1) -> (rule3 % int3)) triple1) -> (rule2 % int2)) ((triple1) -> (rule3 % int3))) -> (rule1 % int1))
The bear is cold.
("bear" "is" "cold" "+")
int1
The bear is blue.
("bear" "is" "blue" "+")
int2
The bear is rough.
("bear" "is" "rough" "+")
int3