Harry is not blue. Harry is cold. Harry is green. Harry is red. Harry is rough. Harry is round. Harry is white. If someone is cold and not white then they are rough.
Harry is not blue.
("Harry" "is" "blue" "-")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is white.
("Harry" "is" "white" "+")
If someone is cold and not white then they are rough.
((("someone" "is" "cold" "+") ("someone" "is" "white" "~")) -> ("someone" "is" "rough" "+"))
Harry is not blue.
True
1
proof
[(triple1)]
("Harry" "is" "blue" "-")
triple1
Harry is blue.
False
1
inv-proof
[(triple1)]
("Harry" "is" "blue" "+")
triple1
@0: Harry is cold.[(triple2)] Harry is green.[(triple3)] Harry is not blue.[(triple1)] Harry is red.[(triple4)] Harry is rough.[(triple5)] Harry is round.[(triple6)] Harry is white.[(triple7)]
Harry is cold.
("Harry" "is" "cold" "+")
triple2
Harry is green.
("Harry" "is" "green" "+")
triple3
Harry is not blue.
("Harry" "is" "blue" "-")
triple1
Harry is red.
("Harry" "is" "red" "+")
triple4
Harry is rough.
("Harry" "is" "rough" "+")
triple5
Harry is round.
("Harry" "is" "round" "+")
triple6
Harry is white.
("Harry" "is" "white" "+")
triple7