The bear is cold. If something is cold and nice then it is round. If the bear is big then the bear is nice. All cold, nice things are big. Big, nice things are cold. If the bear is nice and the bear is cold then the bear is big. Cold things are nice.
The bear is cold.
("bear" "is" "cold" "+")
If something is cold and nice then it is round.
((("something" "is" "cold" "+") ("something" "is" "nice" "+")) -> ("something" "is" "round" "+"))
If the bear is big then the bear is nice.
((("bear" "is" "big" "+")) -> ("bear" "is" "nice" "+"))
All cold, nice things are big.
((("something" "is" "cold" "+") ("something" "is" "nice" "+")) -> ("something" "is" "big" "+"))
Big, nice things are cold.
((("something" "is" "big" "+") ("something" "is" "nice" "+")) -> ("something" "is" "cold" "+"))
If the bear is nice and the bear is cold then the bear is big.
((("bear" "is" "nice" "+") ("bear" "is" "cold" "+")) -> ("bear" "is" "big" "+"))
Cold things are nice.
((("something" "is" "cold" "+")) -> ("something" "is" "nice" "+"))
The bear is cold.
True
1
proof
[(triple1)]
("bear" "is" "cold" "+")
triple1
The bear is not cold.
False
1
inv-proof
[(triple1)]
("bear" "is" "cold" "-")
triple1
The bear is nice.
True
2
proof
[(((triple1) -> rule6))]
("bear" "is" "nice" "+")
((triple1) -> (rule6 % int1))
The bear is nice.
("bear" "is" "nice" "+")
int1
The bear is not nice.
False
2
inv-proof
[(((triple1) -> rule6))]
("bear" "is" "nice" "-")
((triple1) -> (rule6 % int1))
The bear is nice.
("bear" "is" "nice" "+")
int1
The bear is not kind.
Unknown
inv-random
[@0: The bear is kind.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "kind" "-")
The bear eats the bear.
Unknown
random
[@0: The bear eats the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "eats" "bear" "+")
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 needs the bear.
Unknown
random
[@0: The bear needs the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "needs" "bear" "+")
@0: The bear is cold.[(triple1)] @1: The bear is nice.[(((triple1) -> rule6))] @2: The bear is big.[(((triple1 ((triple1) -> rule6)) -> rule3) OR ((((triple1) -> rule6) triple1) -> rule5))] The bear is round.[(((triple1 ((triple1) -> rule6)) -> rule1))]
The bear is cold.
("bear" "is" "cold" "+")
triple1
The bear is nice.
("bear" "is" "nice" "+")
((triple1) -> (rule6 % int1))
The bear is nice.
("bear" "is" "nice" "+")
int1
The bear is big.
("bear" "is" "big" "+")
((triple1 ((triple1) -> (rule6 % int2))) -> (rule3 % int1))
The bear is big.
("bear" "is" "big" "+")
int1
The bear is nice.
("bear" "is" "nice" "+")
int2
((((triple1) -> (rule6 % int2)) triple1) -> (rule5 % int1))
The bear is big.
("bear" "is" "big" "+")
int1
The bear is nice.
("bear" "is" "nice" "+")
int2
The bear is round.
("bear" "is" "round" "+")
((triple1 ((triple1) -> (rule6 % int2))) -> (rule1 % int1))
The bear is round.
("bear" "is" "round" "+")
int1
The bear is nice.
("bear" "is" "nice" "+")
int2