The squirrel is not green. The squirrel is kind. The squirrel is nice. All cold things are nice. All red things are nice. If something is red and nice then it is cold. Nice things are cold. Cold things are red. If something is nice and not cold then it is not kind.
The squirrel is not green.
("squirrel" "is" "green" "-")
The squirrel is kind.
("squirrel" "is" "kind" "+")
The squirrel is nice.
("squirrel" "is" "nice" "+")
All cold things are nice.
((("something" "is" "cold" "+")) -> ("something" "is" "nice" "+"))
All red things are nice.
((("something" "is" "red" "+")) -> ("something" "is" "nice" "+"))
If something is red and nice then it is cold.
((("something" "is" "red" "+") ("something" "is" "nice" "+")) -> ("something" "is" "cold" "+"))
Nice things are cold.
((("something" "is" "nice" "+")) -> ("something" "is" "cold" "+"))
Cold things are red.
((("something" "is" "cold" "+")) -> ("something" "is" "red" "+"))
If something is nice and not cold then it is not kind.
((("something" "is" "nice" "+") ("something" "is" "cold" "~")) -> ("something" "is" "kind" "-"))
The squirrel is nice.
True
1
proof
[(triple3)]
("squirrel" "is" "nice" "+")
triple3
The squirrel is not kind.
False
1
inv-proof
[(triple2)]
("squirrel" "is" "kind" "-")
triple2
The squirrel is cold.
True
2
proof
[(((triple3) -> rule4))]
("squirrel" "is" "cold" "+")
((triple3) -> (rule4 % int1))
The squirrel is cold.
("squirrel" "is" "cold" "+")
int1
The squirrel is not cold.
False
2
inv-proof
[(((triple3) -> rule4))]
("squirrel" "is" "cold" "-")
((triple3) -> (rule4 % int1))
The squirrel is cold.
("squirrel" "is" "cold" "+")
int1
The squirrel is red.
True
3
proof
[(((((triple3) -> rule4)) -> rule5))]
("squirrel" "is" "red" "+")
((((triple3) -> (rule4 % int2))) -> (rule5 % int1))
The squirrel is red.
("squirrel" "is" "red" "+")
int1
The squirrel is cold.
("squirrel" "is" "cold" "+")
int2
The squirrel is not red.
False
3
inv-proof
[(((((triple3) -> rule4)) -> rule5))]
("squirrel" "is" "red" "-")
((((triple3) -> (rule4 % int2))) -> (rule5 % int1))
The squirrel is red.
("squirrel" "is" "red" "+")
int1
The squirrel is cold.
("squirrel" "is" "cold" "+")
int2
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" "+")
@0: The squirrel is kind.[(triple2)] The squirrel is nice.[(triple3)] The squirrel is not green.[(triple1)] @1: The squirrel is cold.[(((triple3) -> rule4))] @2: The squirrel is red.[(((((triple3) -> rule4)) -> rule5))]
The squirrel is kind.
("squirrel" "is" "kind" "+")
triple2
The squirrel is nice.
("squirrel" "is" "nice" "+")
triple3
The squirrel is not green.
("squirrel" "is" "green" "-")
triple1
The squirrel is cold.
("squirrel" "is" "cold" "+")
((triple3) -> (rule4 % int1))
The squirrel is cold.
("squirrel" "is" "cold" "+")
int1
The squirrel is red.
("squirrel" "is" "red" "+")
((((triple3) -> (rule4 % int2))) -> (rule5 % int1))
The squirrel is red.
("squirrel" "is" "red" "+")
int1
The squirrel is cold.
("squirrel" "is" "cold" "+")
int2