The bear is big. If the bear is blue then the bear is big. All kind people are cold. Blue, cold people are kind. Big, kind people are nice. All big people are nice. If someone is nice then they are blue. If the bear is kind then the bear is big. If the bear is big and the bear is nice then the bear is cold.
The bear is big.
("bear" "is" "big" "+")
If the bear is blue then the bear is big.
((("bear" "is" "blue" "+")) -> ("bear" "is" "big" "+"))
All kind people are cold.
((("someone" "is" "kind" "+")) -> ("someone" "is" "cold" "+"))
Blue, cold people are kind.
((("someone" "is" "blue" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "kind" "+"))
Big, kind people are nice.
((("someone" "is" "big" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "nice" "+"))
All big people are nice.
((("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
If someone is nice then they are blue.
((("someone" "is" "nice" "+")) -> ("someone" "is" "blue" "+"))
If the bear is kind then the bear is big.
((("bear" "is" "kind" "+")) -> ("bear" "is" "big" "+"))
If the bear is big and the bear is nice then the bear is cold.
((("bear" "is" "big" "+") ("bear" "is" "nice" "+")) -> ("bear" "is" "cold" "+"))
The bear is big.
True
1
proof
[(triple1)]
("bear" "is" "big" "+")
triple1
The bear is not big.
False
1
inv-proof
[(triple1)]
("bear" "is" "big" "-")
triple1
The bear is nice.
True
2
proof
[(((triple1) -> rule5))]
("bear" "is" "nice" "+")
((triple1) -> (rule5 % int1))
The bear is nice.
("bear" "is" "nice" "+")
int1
The bear is not nice.
False
2
inv-proof
[(((triple1) -> rule5))]
("bear" "is" "nice" "-")
((triple1) -> (rule5 % int1))
The bear is nice.
("bear" "is" "nice" "+")
int1
The bear is cold.
True
4
proof
[(((triple1 ((triple1) -> rule5)) -> rule8))]
("bear" "is" "cold" "+")
((triple1 ((triple1) -> (rule5 % int2))) -> (rule8 % int1))
The bear is cold.
("bear" "is" "cold" "+")
int1
The bear is nice.
("bear" "is" "nice" "+")
int2
The bear is not blue.
False
3
inv-proof
[(((((triple1) -> rule5)) -> rule6))]
("bear" "is" "blue" "-")
((((triple1) -> (rule5 % int2))) -> (rule6 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
The bear is nice.
("bear" "is" "nice" "+")
int2
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 eats the bear.
Unknown
random
[@0: The bear eats the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "eats" "bear" "+")
@0: The bear is big.[(triple1)] @1: The bear is nice.[(((triple1) -> rule5))] @2: The bear is blue.[(((((triple1) -> rule5)) -> rule6))] The bear is cold.[(((triple1 ((triple1) -> rule5)) -> rule8))] @3: The bear is kind.[(((((((triple1) -> rule5)) -> rule6) ((triple1 ((triple1) -> rule5)) -> rule8)) -> rule3))]
The bear is big.
("bear" "is" "big" "+")
triple1
The bear is nice.
("bear" "is" "nice" "+")
((triple1) -> (rule5 % int1))
The bear is nice.
("bear" "is" "nice" "+")
int1
The bear is blue.
("bear" "is" "blue" "+")
((((triple1) -> (rule5 % int2))) -> (rule6 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
The bear is nice.
("bear" "is" "nice" "+")
int2
The bear is cold.
("bear" "is" "cold" "+")
((triple1 ((triple1) -> (rule5 % int2))) -> (rule8 % int1))
The bear is cold.
("bear" "is" "cold" "+")
int1
The bear is nice.
("bear" "is" "nice" "+")
int2
The bear is kind.
("bear" "is" "kind" "+")
((((((triple1) -> (rule5 % int4))) -> (rule6 % int3)) ((triple1 ((triple1) -> (rule5 % int4))) -> (rule8 % int2))) -> (rule3 % int1))
The bear is kind.
("bear" "is" "kind" "+")
int1
The bear is cold.
("bear" "is" "cold" "+")
int2
The bear is blue.
("bear" "is" "blue" "+")
int3
The bear is nice.
("bear" "is" "nice" "+")
int4