The squirrel is big. The squirrel is not kind. The squirrel is not nice. If the squirrel is nice then the squirrel is not big. All rough things are big. All big, rough things are nice. Rough things are not nice. If something is big and not rough then it is kind. If something is nice and not kind then it is not round.
The squirrel is big.
("squirrel" "is" "big" "+")
The squirrel is not kind.
("squirrel" "is" "kind" "-")
The squirrel is not nice.
("squirrel" "is" "nice" "-")
If the squirrel is nice then the squirrel is not big.
((("squirrel" "is" "nice" "+")) -> ("squirrel" "is" "big" "-"))
All rough things are big.
((("something" "is" "rough" "+")) -> ("something" "is" "big" "+"))
All big, rough things are nice.
((("something" "is" "big" "+") ("something" "is" "rough" "+")) -> ("something" "is" "nice" "+"))
Rough things are not nice.
((("something" "is" "rough" "+")) -> ("something" "is" "nice" "-"))
If something is big and not rough then it is kind.
((("something" "is" "big" "+") ("something" "is" "rough" "~")) -> ("something" "is" "kind" "+"))
If something is nice and not kind then it is not round.
((("something" "is" "nice" "+") ("something" "is" "kind" "~")) -> ("something" "is" "round" "-"))
The squirrel is not kind.
True
1
proof
[(triple2)]
("squirrel" "is" "kind" "-")
triple2
The squirrel is not big.
False
1
inv-proof
[(triple1)]
("squirrel" "is" "big" "-")
triple1
The squirrel does not visit the squirrel.
Unknown
inv-random
[@0: The squirrel visits the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "visits" "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 big.[(triple1)] The squirrel is not kind.[(triple2)] The squirrel is not nice.[(triple3)]
The squirrel is big.
("squirrel" "is" "big" "+")
triple1
The squirrel is not kind.
("squirrel" "is" "kind" "-")
triple2
The squirrel is not nice.
("squirrel" "is" "nice" "-")
triple3