The squirrel is red. If the squirrel is red and the squirrel is green then the squirrel is blue. Kind, blue things are big. Big things are red. If the squirrel is red then the squirrel is big. If the squirrel is big then the squirrel is green. Kind, big things are red.
The squirrel is red.
("squirrel" "is" "red" "+")
If the squirrel is red and the squirrel is green then the squirrel is blue.
((("squirrel" "is" "red" "+") ("squirrel" "is" "green" "+")) -> ("squirrel" "is" "blue" "+"))
Kind, blue things are big.
((("something" "is" "kind" "+") ("something" "is" "blue" "+")) -> ("something" "is" "big" "+"))
Big things are red.
((("something" "is" "big" "+")) -> ("something" "is" "red" "+"))
If the squirrel is red then the squirrel is big.
((("squirrel" "is" "red" "+")) -> ("squirrel" "is" "big" "+"))
If the squirrel is big then the squirrel is green.
((("squirrel" "is" "big" "+")) -> ("squirrel" "is" "green" "+"))
Kind, big things are red.
((("something" "is" "kind" "+") ("something" "is" "big" "+")) -> ("something" "is" "red" "+"))
The squirrel is red.
True
1
proof
[(triple1)]
("squirrel" "is" "red" "+")
triple1
The squirrel is not red.
False
1
inv-proof
[(triple1)]
("squirrel" "is" "red" "-")
triple1
The squirrel is big.
True
2
proof
[(((triple1) -> rule4))]
("squirrel" "is" "big" "+")
((triple1) -> (rule4 % int1))
The squirrel is big.
("squirrel" "is" "big" "+")
int1
The squirrel is not big.
False
2
inv-proof
[(((triple1) -> rule4))]
("squirrel" "is" "big" "-")
((triple1) -> (rule4 % int1))
The squirrel is big.
("squirrel" "is" "big" "+")
int1
The squirrel is green.
True
3
proof
[(((((triple1) -> rule4)) -> rule5))]
("squirrel" "is" "green" "+")
((((triple1) -> (rule4 % int2))) -> (rule5 % int1))
The squirrel is green.
("squirrel" "is" "green" "+")
int1
The squirrel is big.
("squirrel" "is" "big" "+")
int2
The squirrel is not green.
False
3
inv-proof
[(((((triple1) -> rule4)) -> rule5))]
("squirrel" "is" "green" "-")
((((triple1) -> (rule4 % int2))) -> (rule5 % int1))
The squirrel is green.
("squirrel" "is" "green" "+")
int1
The squirrel is big.
("squirrel" "is" "big" "+")
int2
The squirrel is blue.
True
5
proof
[(((triple1 ((((triple1) -> rule4)) -> rule5)) -> rule1))]
("squirrel" "is" "blue" "+")
((triple1 ((((triple1) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
The squirrel is blue.
("squirrel" "is" "blue" "+")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
int2
The squirrel is big.
("squirrel" "is" "big" "+")
int3
The squirrel is not blue.
False
5
inv-proof
[(((triple1 ((((triple1) -> rule4)) -> rule5)) -> rule1))]
("squirrel" "is" "blue" "-")
((triple1 ((((triple1) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
The squirrel is blue.
("squirrel" "is" "blue" "+")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
int2
The squirrel is big.
("squirrel" "is" "big" "+")
int3
The squirrel does not need the squirrel.
Unknown
inv-random
[@0: The squirrel needs the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "needs" "squirrel" "-")
The squirrel eats the squirrel.
Unknown
random
[@0: The squirrel eats the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "eats" "squirrel" "+")
The squirrel does not like the squirrel.
Unknown
inv-random
[@0: The squirrel likes the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "likes" "squirrel" "-")
The squirrel is kind.
Unknown
random
[@0: The squirrel is kind.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "kind" "+")
@0: The squirrel is red.[(triple1)] @1: The squirrel is big.[(((triple1) -> rule4))] @2: The squirrel is green.[(((((triple1) -> rule4)) -> rule5))] @3: The squirrel is blue.[(((triple1 ((((triple1) -> rule4)) -> rule5)) -> rule1))]
The squirrel is red.
("squirrel" "is" "red" "+")
triple1
The squirrel is big.
("squirrel" "is" "big" "+")
((triple1) -> (rule4 % int1))
The squirrel is big.
("squirrel" "is" "big" "+")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
((((triple1) -> (rule4 % int2))) -> (rule5 % int1))
The squirrel is green.
("squirrel" "is" "green" "+")
int1
The squirrel is big.
("squirrel" "is" "big" "+")
int2
The squirrel is blue.
("squirrel" "is" "blue" "+")
((triple1 ((((triple1) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
The squirrel is blue.
("squirrel" "is" "blue" "+")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
int2
The squirrel is big.
("squirrel" "is" "big" "+")
int3