Harry is cold. Harry is furry. Harry is not nice. Harry is quiet. Harry is smart. Harry is white. Harry is young. If something is quiet and not young then it is not smart. If Harry is nice then Harry is furry.
Harry is cold.
("Harry" "is" "cold" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is not nice.
("Harry" "is" "nice" "-")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is smart.
("Harry" "is" "smart" "+")
Harry is white.
("Harry" "is" "white" "+")
Harry is young.
("Harry" "is" "young" "+")
If something is quiet and not young then it is not smart.
((("something" "is" "quiet" "+") ("something" "is" "young" "~")) -> ("something" "is" "smart" "-"))
If Harry is nice then Harry is furry.
((("Harry" "is" "nice" "+")) -> ("Harry" "is" "furry" "+"))
Harry is furry.
True
1
proof
[(triple2)]
("Harry" "is" "furry" "+")
triple2
Harry is not white.
False
1
inv-proof
[(triple6)]
("Harry" "is" "white" "-")
triple6
@0: Harry is cold.[(triple1)] Harry is furry.[(triple2)] Harry is not nice.[(triple3)] Harry is quiet.[(triple4)] Harry is smart.[(triple5)] Harry is white.[(triple6)] Harry is young.[(triple7)]
Harry is cold.
("Harry" "is" "cold" "+")
triple1
Harry is furry.
("Harry" "is" "furry" "+")
triple2
Harry is not nice.
("Harry" "is" "nice" "-")
triple3
Harry is quiet.
("Harry" "is" "quiet" "+")
triple4
Harry is smart.
("Harry" "is" "smart" "+")
triple5
Harry is white.
("Harry" "is" "white" "+")
triple6
Harry is young.
("Harry" "is" "young" "+")
triple7