The squirrel is cold. The squirrel is kind. The squirrel is not red. All cold, nice people are not round. Cold, red people are round. Nice people are round. If someone is red then they are round. Kind people are round. If someone is kind and not nice then they are not red.
The squirrel is cold.
("squirrel" "is" "cold" "+")
The squirrel is kind.
("squirrel" "is" "kind" "+")
The squirrel is not red.
("squirrel" "is" "red" "-")
All cold, nice people are not round.
((("someone" "is" "cold" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "round" "-"))
Cold, red people are round.
((("someone" "is" "cold" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "round" "+"))
Nice people are round.
((("someone" "is" "nice" "+")) -> ("someone" "is" "round" "+"))
If someone is red then they are round.
((("someone" "is" "red" "+")) -> ("someone" "is" "round" "+"))
Kind people are round.
((("someone" "is" "kind" "+")) -> ("someone" "is" "round" "+"))
If someone is kind and not nice then they are not red.
((("someone" "is" "kind" "+") ("someone" "is" "nice" "~")) -> ("someone" "is" "red" "-"))
The squirrel is cold.
True
1
proof
[(triple1)]
("squirrel" "is" "cold" "+")
triple1
The squirrel is not kind.
False
1
inv-proof
[(triple2)]
("squirrel" "is" "kind" "-")
triple2
The squirrel is not nice.
Unknown
inv-random
[@0: The squirrel is nice.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "nice" "-")
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 cold.[(triple1)] The squirrel is kind.[(triple2)] The squirrel is not red.[(triple3)] @1: The squirrel is round.[(((triple2) -> rule5))]
The squirrel is cold.
("squirrel" "is" "cold" "+")
triple1
The squirrel is kind.
("squirrel" "is" "kind" "+")
triple2
The squirrel is not red.
("squirrel" "is" "red" "-")
triple3
The squirrel is round.
("squirrel" "is" "round" "+")
((triple2) -> (rule5 % int1))
The squirrel is round.
("squirrel" "is" "round" "+")
int1