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