The bear is cold. The bear is not nice. The bear is round. If something is cold then it is green. If the bear is rough then the bear is not nice. All nice, rough things are not cold.
The bear is cold.
("bear" "is" "cold" "+")
The bear is not nice.
("bear" "is" "nice" "-")
The bear is round.
("bear" "is" "round" "+")
If something is cold then it is green.
((("something" "is" "cold" "+")) -> ("something" "is" "green" "+"))
If the bear is rough then the bear is not nice.
((("bear" "is" "rough" "+")) -> ("bear" "is" "nice" "-"))
All nice, rough things are not cold.
((("something" "is" "nice" "+") ("something" "is" "rough" "+")) -> ("something" "is" "cold" "-"))
The bear is cold.
True
1
proof
[(triple1)]
("bear" "is" "cold" "+")
triple1
The bear is not cold.
False
1
inv-proof
[(triple1)]
("bear" "is" "cold" "-")
triple1
The bear is green.
True
2
proof
[(((triple1) -> rule1))]
("bear" "is" "green" "+")
((triple1) -> (rule1 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The bear is not green.
False
2
inv-proof
[(((triple1) -> rule1))]
("bear" "is" "green" "-")
((triple1) -> (rule1 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The bear does not visit the bear.
Unknown
inv-random
[@0: The bear visits the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "visits" "bear" "-")
The bear chases the bear.
Unknown
random
[@0: The bear chases the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "chases" "bear" "+")
The bear is not rough.
Unknown
inv-random
[@0: The bear is rough.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "rough" "-")
The bear needs the bear.
Unknown
random
[@0: The bear needs the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "needs" "bear" "+")
@0: The bear is cold.[(triple1)] The bear is not nice.[(triple2)] The bear is round.[(triple3)] @1: The bear is green.[(((triple1) -> rule1))]
The bear is cold.
("bear" "is" "cold" "+")
triple1
The bear is not nice.
("bear" "is" "nice" "-")
triple2
The bear is round.
("bear" "is" "round" "+")
triple3
The bear is green.
("bear" "is" "green" "+")
((triple1) -> (rule1 % int1))
The bear is green.
("bear" "is" "green" "+")
int1