The bear is blue. The bear is cold. The bear is green. The bear is kind. The bear is nice. If someone is blue then they are kind. If someone is green and cold then they are blue.
The bear is blue.
("bear" "is" "blue" "+")
The bear is cold.
("bear" "is" "cold" "+")
The bear is green.
("bear" "is" "green" "+")
The bear is kind.
("bear" "is" "kind" "+")
The bear is nice.
("bear" "is" "nice" "+")
If someone is blue then they are kind.
((("someone" "is" "blue" "+")) -> ("someone" "is" "kind" "+"))
If someone is green and cold then they are blue.
((("someone" "is" "green" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "blue" "+"))
The bear is green.
True
1
proof
[(triple3)]
("bear" "is" "green" "+")
triple3
The bear is not nice.
False
1
inv-proof
[(triple5)]
("bear" "is" "nice" "-")
triple5
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 blue.[(triple1 OR ((triple3 triple2) -> rule2))] The bear is cold.[(triple2)] The bear is green.[(triple3)] The bear is kind.[(triple4 OR ((triple1) -> rule1) OR ((((triple3 triple2) -> rule2)) -> rule1))] The bear is nice.[(triple5)]
The bear is blue.
("bear" "is" "blue" "+")
triple1
((triple3 triple2) -> (rule2 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
The bear is cold.
("bear" "is" "cold" "+")
triple2
The bear is green.
("bear" "is" "green" "+")
triple3
The bear is kind.
("bear" "is" "kind" "+")
triple4
((triple1) -> (rule1 % int1))
The bear is kind.
("bear" "is" "kind" "+")
int1
((((triple3 triple2) -> (rule2 % int2))) -> (rule1 % int1))
The bear is kind.
("bear" "is" "kind" "+")
int1
The bear is blue.
("bear" "is" "blue" "+")
int2
The bear is nice.
("bear" "is" "nice" "+")
triple5