Anne is cold. Anne is not furry. Anne is green. Anne is not kind. Anne is not nice. Anne is quiet. Anne is not rough. Nice, quiet people are not rough.
Anne is cold.
("Anne" "is" "cold" "+")
Anne is not furry.
("Anne" "is" "furry" "-")
Anne is green.
("Anne" "is" "green" "+")
Anne is not kind.
("Anne" "is" "kind" "-")
Anne is not nice.
("Anne" "is" "nice" "-")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is not rough.
("Anne" "is" "rough" "-")
Nice, quiet people are not rough.
((("someone" "is" "nice" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "rough" "-"))
Anne is not kind.
True
1
proof
[(triple4)]
("Anne" "is" "kind" "-")
triple4
Anne is not green.
False
1
inv-proof
[(triple3)]
("Anne" "is" "green" "-")
triple3
@0: Anne is cold.[(triple1)] Anne is green.[(triple3)] Anne is not furry.[(triple2)] Anne is not kind.[(triple4)] Anne is not nice.[(triple5)] Anne is not rough.[(triple7)] Anne is quiet.[(triple6)]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
Anne is green.
("Anne" "is" "green" "+")
triple3
Anne is not furry.
("Anne" "is" "furry" "-")
triple2
Anne is not kind.
("Anne" "is" "kind" "-")
triple4
Anne is not nice.
("Anne" "is" "nice" "-")
triple5
Anne is not rough.
("Anne" "is" "rough" "-")
triple7
Anne is quiet.
("Anne" "is" "quiet" "+")
triple6