The bear is not big. The bear is blue. The bear is green. The bear is kind. The bear is rough. If something is blue and not kind then it is not rough. Green things are blue.
The bear is not big.
("bear" "is" "big" "-")
The bear is blue.
("bear" "is" "blue" "+")
The bear is green.
("bear" "is" "green" "+")
The bear is kind.
("bear" "is" "kind" "+")
The bear is rough.
("bear" "is" "rough" "+")
If something is blue and not kind then it is not rough.
((("something" "is" "blue" "+") ("something" "is" "kind" "~")) -> ("something" "is" "rough" "-"))
Green things are blue.
((("something" "is" "green" "+")) -> ("something" "is" "blue" "+"))
The bear is kind.
True
1
proof
[(triple4)]
("bear" "is" "kind" "+")
triple4
The bear is not rough.
False
1
inv-proof
[(triple5)]
("bear" "is" "rough" "-")
triple5
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 chases the bear.
Unknown
random
[@0: The bear chases the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "chases" "bear" "+")
@0: The bear is blue.[(triple2 OR ((triple3) -> rule2))] The bear is green.[(triple3)] The bear is kind.[(triple4)] The bear is not big.[(triple1)] The bear is rough.[(triple5)]
The bear is blue.
("bear" "is" "blue" "+")
triple2
((triple3) -> (rule2 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
The bear is green.
("bear" "is" "green" "+")
triple3
The bear is kind.
("bear" "is" "kind" "+")
triple4
The bear is not big.
("bear" "is" "big" "-")
triple1
The bear is rough.
("bear" "is" "rough" "+")
triple5