The bear is not blue. The bear is cold. The bear is not kind. The bear is red. The bear is not young. If someone is kind then they are blue. All young, cold people are not blue. If the bear is cold then the bear is red. If someone is young then they are cold. Young people are cold. All young, kind people are not red. If someone is kind and not cold then they are not red. All kind people are red.
The bear is not blue.
("bear" "is" "blue" "-")
The bear is cold.
("bear" "is" "cold" "+")
The bear is not kind.
("bear" "is" "kind" "-")
The bear is red.
("bear" "is" "red" "+")
The bear is not young.
("bear" "is" "young" "-")
If someone is kind then they are blue.
((("someone" "is" "kind" "+")) -> ("someone" "is" "blue" "+"))
All young, cold people are not blue.
((("someone" "is" "young" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "blue" "-"))
If the bear is cold then the bear is red.
((("bear" "is" "cold" "+")) -> ("bear" "is" "red" "+"))
If someone is young then they are cold.
((("someone" "is" "young" "+")) -> ("someone" "is" "cold" "+"))
Young people are cold.
((("someone" "is" "young" "+")) -> ("someone" "is" "cold" "+"))
All young, kind people are not red.
((("someone" "is" "young" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "red" "-"))
If someone is kind and not cold then they are not red.
((("someone" "is" "kind" "+") ("someone" "is" "cold" "~")) -> ("someone" "is" "red" "-"))
All kind people are red.
((("someone" "is" "kind" "+")) -> ("someone" "is" "red" "+"))
The bear is not young.
True
1
proof
[(triple5)]
("bear" "is" "young" "-")
triple5
The bear is kind.
False
1
inv-proof
[(triple3)]
("bear" "is" "kind" "+")
triple3
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 visits the bear.
Unknown
random
[@0: The bear visits the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "visits" "bear" "+")
@0: The bear is cold.[(triple2)] The bear is not blue.[(triple1)] The bear is not kind.[(triple3)] The bear is not young.[(triple5)] The bear is red.[(triple4 OR ((triple2) -> rule3))]
The bear is cold.
("bear" "is" "cold" "+")
triple2
The bear is not blue.
("bear" "is" "blue" "-")
triple1
The bear is not kind.
("bear" "is" "kind" "-")
triple3
The bear is not young.
("bear" "is" "young" "-")
triple5
The bear is red.
("bear" "is" "red" "+")
triple4
((triple2) -> (rule3 % int1))
The bear is red.
("bear" "is" "red" "+")
int1