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