The bear is cold. The bear is green. The bear is kind. The bear is nice. The bear is rough. If the bear is green and the bear is cold then the bear is rough.
The bear is cold.
("bear" "is" "cold" "+")
The bear is green.
("bear" "is" "green" "+")
The bear is kind.
("bear" "is" "kind" "+")
The bear is nice.
("bear" "is" "nice" "+")
The bear is rough.
("bear" "is" "rough" "+")
If the bear is green and the bear is cold then the bear is rough.
((("bear" "is" "green" "+") ("bear" "is" "cold" "+")) -> ("bear" "is" "rough" "+"))
The bear is nice.
True
1
proof
[(triple4)]
("bear" "is" "nice" "+")
triple4
The bear is not rough.
False
1
inv-proof
[(triple5 OR ((triple2 triple1) -> rule1))]
("bear" "is" "rough" "-")
triple5
((triple2 triple1) -> (rule1 % int1))
The bear is rough.
("bear" "is" "rough" "+")
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 sees the bear.
Unknown
random
[@0: The bear sees the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "sees" "bear" "+")
@0: The bear is cold.[(triple1)] The bear is green.[(triple2)] The bear is kind.[(triple3)] The bear is nice.[(triple4)] The bear is rough.[(triple5 OR ((triple2 triple1) -> rule1))]
The bear is cold.
("bear" "is" "cold" "+")
triple1
The bear is green.
("bear" "is" "green" "+")
triple2
The bear is kind.
("bear" "is" "kind" "+")
triple3
The bear is nice.
("bear" "is" "nice" "+")
triple4
The bear is rough.
("bear" "is" "rough" "+")
triple5
((triple2 triple1) -> (rule1 % int1))
The bear is rough.
("bear" "is" "rough" "+")
int1