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