The squirrel is nice. Nice people are blue. If the squirrel is big then the squirrel is blue. Red people are not cold. If someone is blue and nice then they are cold. Cold people are big. If someone is blue then they are nice. All cold people are nice. If the squirrel is nice and the squirrel is blue then the squirrel is not red.
The squirrel is nice.
("squirrel" "is" "nice" "+")
Nice people are blue.
((("someone" "is" "nice" "+")) -> ("someone" "is" "blue" "+"))
If the squirrel is big then the squirrel is blue.
((("squirrel" "is" "big" "+")) -> ("squirrel" "is" "blue" "+"))
Red people are not cold.
((("someone" "is" "red" "+")) -> ("someone" "is" "cold" "-"))
If someone is blue and nice then they are cold.
((("someone" "is" "blue" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "cold" "+"))
Cold people are big.
((("someone" "is" "cold" "+")) -> ("someone" "is" "big" "+"))
If someone is blue then they are nice.
((("someone" "is" "blue" "+")) -> ("someone" "is" "nice" "+"))
All cold people are nice.
((("someone" "is" "cold" "+")) -> ("someone" "is" "nice" "+"))
If the squirrel is nice and the squirrel is blue then the squirrel is not red.
((("squirrel" "is" "nice" "+") ("squirrel" "is" "blue" "+")) -> ("squirrel" "is" "red" "-"))
The squirrel is nice.
True
1
proof
[(triple1)]
("squirrel" "is" "nice" "+")
triple1
The squirrel is not nice.
False
1
inv-proof
[(triple1)]
("squirrel" "is" "nice" "-")
triple1
The squirrel is blue.
True
2
proof
[(((triple1) -> rule1))]
("squirrel" "is" "blue" "+")
((triple1) -> (rule1 % int1))
The squirrel is blue.
("squirrel" "is" "blue" "+")
int1
The squirrel is not blue.
False
2
inv-proof
[(((triple1) -> rule1))]
("squirrel" "is" "blue" "-")
((triple1) -> (rule1 % int1))
The squirrel is blue.
("squirrel" "is" "blue" "+")
int1
The squirrel is cold.
True
4
proof
[(((((triple1) -> rule1) triple1) -> rule4))]
("squirrel" "is" "cold" "+")
((((triple1) -> (rule1 % int2)) triple1) -> (rule4 % int1))
The squirrel is cold.
("squirrel" "is" "cold" "+")
int1
The squirrel is blue.
("squirrel" "is" "blue" "+")
int2
The squirrel is not cold.
False
4
inv-proof
[(((((triple1) -> rule1) triple1) -> rule4))]
("squirrel" "is" "cold" "-")
((((triple1) -> (rule1 % int2)) triple1) -> (rule4 % int1))
The squirrel is cold.
("squirrel" "is" "cold" "+")
int1
The squirrel is blue.
("squirrel" "is" "blue" "+")
int2
The squirrel is big.
True
5
proof
[(((((((triple1) -> rule1) triple1) -> rule4)) -> rule5))]
("squirrel" "is" "big" "+")
((((((triple1) -> (rule1 % int3)) triple1) -> (rule4 % int2))) -> (rule5 % int1))
The squirrel is big.
("squirrel" "is" "big" "+")
int1
The squirrel is cold.
("squirrel" "is" "cold" "+")
int2
The squirrel is blue.
("squirrel" "is" "blue" "+")
int3
The squirrel is not big.
False
5
inv-proof
[(((((((triple1) -> rule1) triple1) -> rule4)) -> rule5))]
("squirrel" "is" "big" "-")
((((((triple1) -> (rule1 % int3)) triple1) -> (rule4 % int2))) -> (rule5 % int1))
The squirrel is big.
("squirrel" "is" "big" "+")
int1
The squirrel is cold.
("squirrel" "is" "cold" "+")
int2
The squirrel is blue.
("squirrel" "is" "blue" "+")
int3
The squirrel does not eat the squirrel.
Unknown
inv-random
[@0: The squirrel eats the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "eats" "squirrel" "-")
The squirrel visits the squirrel.
Unknown
random
[@0: The squirrel visits the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "visits" "squirrel" "+")
@0: The squirrel is nice.[(triple1)] @1: The squirrel is blue.[(((triple1) -> rule1))] @2: The squirrel is cold.[(((((triple1) -> rule1) triple1) -> rule4))] The squirrel is not red.[(((triple1 ((triple1) -> rule1)) -> rule8))] @3: The squirrel is big.[(((((((triple1) -> rule1) triple1) -> rule4)) -> rule5))]
The squirrel is nice.
("squirrel" "is" "nice" "+")
triple1
The squirrel is blue.
("squirrel" "is" "blue" "+")
((triple1) -> (rule1 % int1))
The squirrel is blue.
("squirrel" "is" "blue" "+")
int1
The squirrel is cold.
("squirrel" "is" "cold" "+")
((((triple1) -> (rule1 % int2)) triple1) -> (rule4 % int1))
The squirrel is cold.
("squirrel" "is" "cold" "+")
int1
The squirrel is blue.
("squirrel" "is" "blue" "+")
int2
The squirrel is not red.
("squirrel" "is" "red" "-")
((triple1 ((triple1) -> (rule1 % int2))) -> (rule8 % int1))
The squirrel is not red.
("squirrel" "is" "red" "-")
int1
The squirrel is blue.
("squirrel" "is" "blue" "+")
int2
The squirrel is big.
("squirrel" "is" "big" "+")
((((((triple1) -> (rule1 % int3)) triple1) -> (rule4 % int2))) -> (rule5 % int1))
The squirrel is big.
("squirrel" "is" "big" "+")
int1
The squirrel is cold.
("squirrel" "is" "cold" "+")
int2
The squirrel is blue.
("squirrel" "is" "blue" "+")
int3