The bear is cold. The bear is kind. The bear is nice. All cold, big things are nice. If the bear is kind and the bear is cold then the bear is big.
The bear is cold.
("bear" "is" "cold" "+")
The bear is kind.
("bear" "is" "kind" "+")
The bear is nice.
("bear" "is" "nice" "+")
All cold, big things are nice.
((("something" "is" "cold" "+") ("something" "is" "big" "+")) -> ("something" "is" "nice" "+"))
If the bear is kind and the bear is cold then the bear is big.
((("bear" "is" "kind" "+") ("bear" "is" "cold" "+")) -> ("bear" "is" "big" "+"))
The bear is nice.
True
1
proof
[(triple3 OR ((triple1 ((triple2 triple1) -> rule2)) -> rule1))]
("bear" "is" "nice" "+")
triple3
((triple1 ((triple2 triple1) -> (rule2 % int2))) -> (rule1 % int1))
The bear is nice.
("bear" "is" "nice" "+")
int1
The bear is big.
("bear" "is" "big" "+")
int2
The bear is not nice.
False
1
inv-proof
[(triple3 OR ((triple1 ((triple2 triple1) -> rule2)) -> rule1))]
("bear" "is" "nice" "-")
triple3
((triple1 ((triple2 triple1) -> (rule2 % int2))) -> (rule1 % int1))
The bear is nice.
("bear" "is" "nice" "+")
int1
The bear is big.
("bear" "is" "big" "+")
int2
The bear is big.
True
3
proof
[(((triple2 triple1) -> rule2))]
("bear" "is" "big" "+")
((triple2 triple1) -> (rule2 % int1))
The bear is big.
("bear" "is" "big" "+")
int1
The bear is not big.
False
3
inv-proof
[(((triple2 triple1) -> rule2))]
("bear" "is" "big" "-")
((triple2 triple1) -> (rule2 % int1))
The bear is big.
("bear" "is" "big" "+")
int1
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 is green.
Unknown
random
[@0: The bear is green.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "green" "+")
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 cold.[(triple1)] The bear is kind.[(triple2)] The bear is nice.[(triple3 OR ((triple1 ((triple2 triple1) -> rule2)) -> rule1))] @1: The bear is big.[(((triple2 triple1) -> rule2))]
The bear is cold.
("bear" "is" "cold" "+")
triple1
The bear is kind.
("bear" "is" "kind" "+")
triple2
The bear is nice.
("bear" "is" "nice" "+")
triple3
((triple1 ((triple2 triple1) -> (rule2 % int2))) -> (rule1 % int1))
The bear is nice.
("bear" "is" "nice" "+")
int1
The bear is big.
("bear" "is" "big" "+")
int2
The bear is big.
("bear" "is" "big" "+")
((triple2 triple1) -> (rule2 % int1))
The bear is big.
("bear" "is" "big" "+")
int1