The bear is big. The bear is not cold. The bear is green. The bear is kind. The bear is not red. Kind things are not cold. If the bear is cold then the bear is not green. If the bear is red and the bear is cold then the bear is kind. Red, cold things are kind. If the bear is big then the bear is not red. If something is red and not cold then it is green.
The bear is big.
("bear" "is" "big" "+")
The bear is not cold.
("bear" "is" "cold" "-")
The bear is green.
("bear" "is" "green" "+")
The bear is kind.
("bear" "is" "kind" "+")
The bear is not red.
("bear" "is" "red" "-")
Kind things are not cold.
((("something" "is" "kind" "+")) -> ("something" "is" "cold" "-"))
If the bear is cold then the bear is not green.
((("bear" "is" "cold" "+")) -> ("bear" "is" "green" "-"))
If the bear is red and the bear is cold then the bear is kind.
((("bear" "is" "red" "+") ("bear" "is" "cold" "+")) -> ("bear" "is" "kind" "+"))
Red, cold things are kind.
((("something" "is" "red" "+") ("something" "is" "cold" "+")) -> ("something" "is" "kind" "+"))
If the bear is big then the bear is not red.
((("bear" "is" "big" "+")) -> ("bear" "is" "red" "-"))
If something is red and not cold then it is green.
((("something" "is" "red" "+") ("something" "is" "cold" "~")) -> ("something" "is" "green" "+"))
The bear is not red.
True
1
proof
[(triple5 OR ((triple1) -> rule5))]
("bear" "is" "red" "-")
triple5
((triple1) -> (rule5 % int1))
The bear is not red.
("bear" "is" "red" "-")
int1
The bear is not big.
False
1
inv-proof
[(triple1)]
("bear" "is" "big" "-")
triple1
The bear does not like the bear.
Unknown
inv-random
[@0: The bear likes the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "likes" "bear" "-")
The bear chases the bear.
Unknown
random
[@0: The bear chases the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "chases" "bear" "+")
@0: The bear is big.[(triple1)] The bear is green.[(triple3)] The bear is kind.[(triple4)] The bear is not cold.[(triple2 OR ((triple4) -> rule1))] The bear is not red.[(triple5 OR ((triple1) -> rule5))]
The bear is big.
("bear" "is" "big" "+")
triple1
The bear is green.
("bear" "is" "green" "+")
triple3
The bear is kind.
("bear" "is" "kind" "+")
triple4
The bear is not cold.
("bear" "is" "cold" "-")
triple2
((triple4) -> (rule1 % int1))
The bear is not cold.
("bear" "is" "cold" "-")
int1
The bear is not red.
("bear" "is" "red" "-")
triple5
((triple1) -> (rule5 % int1))
The bear is not red.
("bear" "is" "red" "-")
int1