Anne is big. Anne is blue. Anne is furry. Anne is green. Anne is quiet. Anne is rough. Anne is white. All white people are furry.
Anne is big.
("Anne" "is" "big" "+")
Anne is blue.
("Anne" "is" "blue" "+")
Anne is furry.
("Anne" "is" "furry" "+")
Anne is green.
("Anne" "is" "green" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Anne is white.
("Anne" "is" "white" "+")
All white people are furry.
((("someone" "is" "white" "+")) -> ("someone" "is" "furry" "+"))
Anne is quiet.
True
1
proof
[(triple5)]
("Anne" "is" "quiet" "+")
triple5
Anne is not quiet.
False
1
inv-proof
[(triple5)]
("Anne" "is" "quiet" "-")
triple5
@0: Anne is big.[(triple1)] Anne is blue.[(triple2)] Anne is furry.[(triple3 OR ((triple7) -> rule1))] Anne is green.[(triple4)] Anne is quiet.[(triple5)] Anne is rough.[(triple6)] Anne is white.[(triple7)]
Anne is big.
("Anne" "is" "big" "+")
triple1
Anne is blue.
("Anne" "is" "blue" "+")
triple2
Anne is furry.
("Anne" "is" "furry" "+")
triple3
((triple7) -> (rule1 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
triple4
Anne is quiet.
("Anne" "is" "quiet" "+")
triple5
Anne is rough.
("Anne" "is" "rough" "+")
triple6
Anne is white.
("Anne" "is" "white" "+")
triple7