Anne is not big. Anne is furry. Anne is kind. Anne is nice. Anne is quiet. Anne is round. Anne is young. If someone is nice and not young then they are not round. If someone is kind then they are nice.
Anne is not big.
("Anne" "is" "big" "-")
Anne is furry.
("Anne" "is" "furry" "+")
Anne is 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 someone is nice and not young then they are not round.
((("someone" "is" "nice" "+") ("someone" "is" "young" "~")) -> ("someone" "is" "round" "-"))
If someone is kind then they are nice.
((("someone" "is" "kind" "+")) -> ("someone" "is" "nice" "+"))
Anne is young.
True
1
proof
[(triple7)]
("Anne" "is" "young" "+")
triple7
Anne is not nice.
False
1
inv-proof
[(triple4 OR ((triple3) -> rule2))]
("Anne" "is" "nice" "-")
triple4
((triple3) -> (rule2 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
@0: Anne is furry.[(triple2)] Anne is kind.[(triple3)] Anne is nice.[(triple4 OR ((triple3) -> rule2))] Anne is not big.[(triple1)] Anne is quiet.[(triple5)] Anne is round.[(triple6)] Anne is young.[(triple7)]
Anne is furry.
("Anne" "is" "furry" "+")
triple2
Anne is kind.
("Anne" "is" "kind" "+")
triple3
Anne is nice.
("Anne" "is" "nice" "+")
triple4
((triple3) -> (rule2 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is not big.
("Anne" "is" "big" "-")
triple1
Anne is quiet.
("Anne" "is" "quiet" "+")
triple5
Anne is round.
("Anne" "is" "round" "+")
triple6
Anne is young.
("Anne" "is" "young" "+")
triple7