Anne is not big. Anne is not blue. Anne is cold. Anne is not furry. Anne is round. Anne is smart. Anne is young. Smart, blue people are furry.
Anne is not big.
("Anne" "is" "big" "-")
Anne is not blue.
("Anne" "is" "blue" "-")
Anne is cold.
("Anne" "is" "cold" "+")
Anne is not furry.
("Anne" "is" "furry" "-")
Anne is round.
("Anne" "is" "round" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Anne is young.
("Anne" "is" "young" "+")
Smart, blue people are furry.
((("someone" "is" "smart" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "furry" "+"))
Anne is young.
True
1
proof
[(triple7)]
("Anne" "is" "young" "+")
triple7
Anne is not smart.
False
1
inv-proof
[(triple6)]
("Anne" "is" "smart" "-")
triple6
@0: Anne is cold.[(triple3)] Anne is not big.[(triple1)] Anne is not blue.[(triple2)] Anne is not furry.[(triple4)] Anne is round.[(triple5)] Anne is smart.[(triple6)] Anne is young.[(triple7)]
Anne is cold.
("Anne" "is" "cold" "+")
triple3
Anne is not big.
("Anne" "is" "big" "-")
triple1
Anne is not blue.
("Anne" "is" "blue" "-")
triple2
Anne is not furry.
("Anne" "is" "furry" "-")
triple4
Anne is round.
("Anne" "is" "round" "+")
triple5
Anne is smart.
("Anne" "is" "smart" "+")
triple6
Anne is young.
("Anne" "is" "young" "+")
triple7