Anne is big. Anne is blue. Anne is not kind. Anne is nice. Anne is quiet. Anne is round. Anne is young. If Anne is not blue then Anne is nice. If Anne is kind then Anne is nice. If someone is young and not big then they are nice.
Anne is big.
("Anne" "is" "big" "+")
Anne is blue.
("Anne" "is" "blue" "+")
Anne is not kind.
("Anne" "is" "kind" "-")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is round.
("Anne" "is" "round" "+")
Anne is young.
("Anne" "is" "young" "+")
If Anne is not blue then Anne is nice.
((("Anne" "is" "blue" "~")) -> ("Anne" "is" "nice" "+"))
If Anne is kind then Anne is nice.
((("Anne" "is" "kind" "+")) -> ("Anne" "is" "nice" "+"))
If someone is young and not big then they are nice.
((("someone" "is" "young" "+") ("someone" "is" "big" "~")) -> ("someone" "is" "nice" "+"))
Anne is young.
True
1
proof
[(triple7)]
("Anne" "is" "young" "+")
triple7
Anne is not nice.
False
1
inv-proof
[(triple4)]
("Anne" "is" "nice" "-")
triple4
@0: Anne is big.[(triple1)] Anne is blue.[(triple2)] Anne is nice.[(triple4)] Anne is not kind.[(triple3)] Anne is quiet.[(triple5)] Anne is round.[(triple6)] Anne is young.[(triple7)]
Anne is big.
("Anne" "is" "big" "+")
triple1
Anne is blue.
("Anne" "is" "blue" "+")
triple2
Anne is nice.
("Anne" "is" "nice" "+")
triple4
Anne is not kind.
("Anne" "is" "kind" "-")
triple3
Anne is quiet.
("Anne" "is" "quiet" "+")
triple5
Anne is round.
("Anne" "is" "round" "+")
triple6
Anne is young.
("Anne" "is" "young" "+")
triple7