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