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