Anne is not furry. Anne is green. Anne is nice. Anne is quiet. Anne is rough. Anne is round. Anne is white. White things are green. If something is nice and furry then it is not white.
Anne is not furry.
("Anne" "is" "furry" "-")
Anne is green.
("Anne" "is" "green" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Anne is round.
("Anne" "is" "round" "+")
Anne is white.
("Anne" "is" "white" "+")
White things are green.
((("something" "is" "white" "+")) -> ("something" "is" "green" "+"))
If something is nice and furry then it is not white.
((("something" "is" "nice" "+") ("something" "is" "furry" "+")) -> ("something" "is" "white" "-"))
Anne is rough.
True
1
proof
[(triple5)]
("Anne" "is" "rough" "+")
triple5
Anne is not quiet.
False
1
inv-proof
[(triple4)]
("Anne" "is" "quiet" "-")
triple4
@0: Anne is green.[(triple2 OR ((triple7) -> rule1))] Anne is nice.[(triple3)] Anne is not furry.[(triple1)] Anne is quiet.[(triple4)] Anne is rough.[(triple5)] Anne is round.[(triple6)] Anne is white.[(triple7)]
Anne is green.
("Anne" "is" "green" "+")
triple2
((triple7) -> (rule1 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
triple3
Anne is not furry.
("Anne" "is" "furry" "-")
triple1
Anne is quiet.
("Anne" "is" "quiet" "+")
triple4
Anne is rough.
("Anne" "is" "rough" "+")
triple5
Anne is round.
("Anne" "is" "round" "+")
triple6
Anne is white.
("Anne" "is" "white" "+")
triple7