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