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