The bear is big. The bear is blue. The bear is cold. The bear is kind. The bear is red. All kind things are red. All red things are kind. All kind, cold things are blue.
The bear is big.
("bear" "is" "big" "+")
The bear is blue.
("bear" "is" "blue" "+")
The bear is cold.
("bear" "is" "cold" "+")
The bear is kind.
("bear" "is" "kind" "+")
The bear is red.
("bear" "is" "red" "+")
All kind things are red.
((("something" "is" "kind" "+")) -> ("something" "is" "red" "+"))
All red things are kind.
((("something" "is" "red" "+")) -> ("something" "is" "kind" "+"))
All kind, cold things are blue.
((("something" "is" "kind" "+") ("something" "is" "cold" "+")) -> ("something" "is" "blue" "+"))
The bear is cold.
True
1
proof
[(triple3)]
("bear" "is" "cold" "+")
triple3
The bear is not blue.
False
1
inv-proof
[(triple2 OR ((triple4 triple3) -> rule3) OR ((((triple5) -> rule2) triple3) -> rule3))]
("bear" "is" "blue" "-")
triple2
((triple4 triple3) -> (rule3 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
((((triple5) -> (rule2 % int2)) triple3) -> (rule3 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
The bear is kind.
("bear" "is" "kind" "+")
int2
The bear does not see the bear.
Unknown
inv-random
[@0: The bear sees the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "sees" "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 big.[(triple1)] The bear is blue.[(triple2 OR ((triple4 triple3) -> rule3) OR ((((triple5) -> rule2) triple3) -> rule3))] The bear is cold.[(triple3)] The bear is kind.[(triple4 OR ((triple5) -> rule2))] The bear is red.[(triple5 OR ((triple4) -> rule1))]
The bear is big.
("bear" "is" "big" "+")
triple1
The bear is blue.
("bear" "is" "blue" "+")
triple2
((triple4 triple3) -> (rule3 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
((((triple5) -> (rule2 % int2)) triple3) -> (rule3 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
The bear is kind.
("bear" "is" "kind" "+")
int2
The bear is cold.
("bear" "is" "cold" "+")
triple3
The bear is kind.
("bear" "is" "kind" "+")
triple4
((triple5) -> (rule2 % int1))
The bear is kind.
("bear" "is" "kind" "+")
int1
The bear is red.
("bear" "is" "red" "+")
triple5
((triple4) -> (rule1 % int1))
The bear is red.
("bear" "is" "red" "+")
int1