Anne is big. Anne is blue. Anne is green. Anne is not kind. Anne is round. Anne is white. Anne is not young. If someone is round then they are not kind.
Anne is big.
("Anne" "is" "big" "+")
Anne is blue.
("Anne" "is" "blue" "+")
Anne is green.
("Anne" "is" "green" "+")
Anne is not kind.
("Anne" "is" "kind" "-")
Anne is round.
("Anne" "is" "round" "+")
Anne is white.
("Anne" "is" "white" "+")
Anne is not young.
("Anne" "is" "young" "-")
If someone is round then they are not kind.
((("someone" "is" "round" "+")) -> ("someone" "is" "kind" "-"))
Anne is not young.
True
1
proof
[(triple7)]
("Anne" "is" "young" "-")
triple7
Anne is not white.
False
1
inv-proof
[(triple6)]
("Anne" "is" "white" "-")
triple6
@0: Anne is big.[(triple1)] Anne is blue.[(triple2)] Anne is green.[(triple3)] Anne is not kind.[(triple4 OR ((triple5) -> rule1))] Anne is not young.[(triple7)] Anne is round.[(triple5)] Anne is white.[(triple6)]
Anne is big.
("Anne" "is" "big" "+")
triple1
Anne is blue.
("Anne" "is" "blue" "+")
triple2
Anne is green.
("Anne" "is" "green" "+")
triple3
Anne is not kind.
("Anne" "is" "kind" "-")
triple4
((triple5) -> (rule1 % int1))
Anne is not kind.
("Anne" "is" "kind" "-")
int1
Anne is not young.
("Anne" "is" "young" "-")
triple7
Anne is round.
("Anne" "is" "round" "+")
triple5
Anne is white.
("Anne" "is" "white" "+")
triple6