The bear is big. The bear is blue. The bear is not nice. The bear is not red. The bear is round. If something is nice then it is round. Nice things are round. If the bear is nice then the bear is not round. Big, nice things are not blue. If something is red and not round then it is big. All blue, round things are big.
The bear is big.
("bear" "is" "big" "+")
The bear is blue.
("bear" "is" "blue" "+")
The bear is not nice.
("bear" "is" "nice" "-")
The bear is not red.
("bear" "is" "red" "-")
The bear is round.
("bear" "is" "round" "+")
If something is nice then it is round.
((("something" "is" "nice" "+")) -> ("something" "is" "round" "+"))
Nice things are round.
((("something" "is" "nice" "+")) -> ("something" "is" "round" "+"))
If the bear is nice then the bear is not round.
((("bear" "is" "nice" "+")) -> ("bear" "is" "round" "-"))
Big, nice things are not blue.
((("something" "is" "big" "+") ("something" "is" "nice" "+")) -> ("something" "is" "blue" "-"))
If something is red and not round then it is big.
((("something" "is" "red" "+") ("something" "is" "round" "~")) -> ("something" "is" "big" "+"))
All blue, round things are big.
((("something" "is" "blue" "+") ("something" "is" "round" "+")) -> ("something" "is" "big" "+"))
The bear is not nice.
True
1
proof
[(triple3)]
("bear" "is" "nice" "-")
triple3
The bear is not blue.
False
1
inv-proof
[(triple2)]
("bear" "is" "blue" "-")
triple2
The bear does not chase the bear.
Unknown
inv-random
[@0: The bear chases the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "chases" "bear" "-")
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 big.[(triple1 OR ((triple2 triple5) -> rule6))] The bear is blue.[(triple2)] The bear is not nice.[(triple3)] The bear is not red.[(triple4)] The bear is round.[(triple5)]
The bear is big.
("bear" "is" "big" "+")
triple1
((triple2 triple5) -> (rule6 % int1))
The bear is big.
("bear" "is" "big" "+")
int1
The bear is blue.
("bear" "is" "blue" "+")
triple2
The bear is not nice.
("bear" "is" "nice" "-")
triple3
The bear is not red.
("bear" "is" "red" "-")
triple4
The bear is round.
("bear" "is" "round" "+")
triple5