Harry is not big. Harry is blue. Harry is green. Harry is nice. Harry is red. Harry is smart. Harry is not white. If Harry is white then Harry is big.
Harry is not big.
("Harry" "is" "big" "-")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is smart.
("Harry" "is" "smart" "+")
Harry is not white.
("Harry" "is" "white" "-")
If Harry is white then Harry is big.
((("Harry" "is" "white" "+")) -> ("Harry" "is" "big" "+"))
Harry is green.
True
1
proof
[(triple3)]
("Harry" "is" "green" "+")
triple3
Harry is not nice.
False
1
inv-proof
[(triple4)]
("Harry" "is" "nice" "-")
triple4
@0: Harry is blue.[(triple2)] Harry is green.[(triple3)] Harry is nice.[(triple4)] Harry is not big.[(triple1)] Harry is not white.[(triple7)] Harry is red.[(triple5)] Harry is smart.[(triple6)]
Harry is blue.
("Harry" "is" "blue" "+")
triple2
Harry is green.
("Harry" "is" "green" "+")
triple3
Harry is nice.
("Harry" "is" "nice" "+")
triple4
Harry is not big.
("Harry" "is" "big" "-")
triple1
Harry is not white.
("Harry" "is" "white" "-")
triple7
Harry is red.
("Harry" "is" "red" "+")
triple5
Harry is smart.
("Harry" "is" "smart" "+")
triple6