The bear is round. If the bear is rough and the bear is blue then the bear is cold. Round, blue people are rough. If the bear is round then the bear is rough. All rough people are blue. Rough people are big. Big people are round.
The bear is round.
("bear" "is" "round" "+")
If the bear is rough and the bear is blue then the bear is cold.
((("bear" "is" "rough" "+") ("bear" "is" "blue" "+")) -> ("bear" "is" "cold" "+"))
Round, blue people are rough.
((("someone" "is" "round" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "rough" "+"))
If the bear is round then the bear is rough.
((("bear" "is" "round" "+")) -> ("bear" "is" "rough" "+"))
All rough people are blue.
((("someone" "is" "rough" "+")) -> ("someone" "is" "blue" "+"))
Rough people are big.
((("someone" "is" "rough" "+")) -> ("someone" "is" "big" "+"))
Big people are round.
((("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
The bear is round.
True
1
proof
[(triple1)]
("bear" "is" "round" "+")
triple1
The bear is not round.
False
1
inv-proof
[(triple1)]
("bear" "is" "round" "-")
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 does not need the bear.
Unknown
inv-random
[@0: The bear needs the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "needs" "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 round.[(triple1)] @1: The bear is rough.[(((triple1) -> rule3))] @2: The bear is big.[(((((triple1) -> rule3)) -> rule5))] The bear is blue.[(((((triple1) -> rule3)) -> rule4))] @3: The bear is cold.[(((((triple1) -> rule3) ((((triple1) -> rule3)) -> rule4)) -> rule1))]
The bear is round.
("bear" "is" "round" "+")
triple1
The bear is rough.
("bear" "is" "rough" "+")
((triple1) -> (rule3 % int1))
The bear is rough.
("bear" "is" "rough" "+")
int1
The bear is big.
("bear" "is" "big" "+")
((((triple1) -> (rule3 % int2))) -> (rule5 % int1))
The bear is big.
("bear" "is" "big" "+")
int1
The bear is rough.
("bear" "is" "rough" "+")
int2
The bear is blue.
("bear" "is" "blue" "+")
((((triple1) -> (rule3 % int2))) -> (rule4 % 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) -> (rule3 % int3))) -> (rule4 % int2))) -> (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