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