Gary is blue. Gary is cold. Gary is not green. Gary is not kind. Gary is red. Gary is rough. Gary is white. Harry is blue. Harry is not cold. Harry is not green. Harry is not kind. Harry is not red. Harry is not rough. Harry is white. If someone is blue and not white then they are not cold. All kind, green people are cold. If someone is kind and cold then they are green.
Gary is blue.
("Gary" "is" "blue" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is not green.
("Gary" "is" "green" "-")
Gary is not kind.
("Gary" "is" "kind" "-")
Gary is red.
("Gary" "is" "red" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is white.
("Gary" "is" "white" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is not cold.
("Harry" "is" "cold" "-")
Harry is not green.
("Harry" "is" "green" "-")
Harry is not kind.
("Harry" "is" "kind" "-")
Harry is not red.
("Harry" "is" "red" "-")
Harry is not rough.
("Harry" "is" "rough" "-")
Harry is white.
("Harry" "is" "white" "+")
If someone is blue and not white then they are not cold.
((("someone" "is" "blue" "+") ("someone" "is" "white" "~")) -> ("someone" "is" "cold" "-"))
All kind, green people are cold.
((("someone" "is" "kind" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "cold" "+"))
If someone is kind and cold then they are green.
((("someone" "is" "kind" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "green" "+"))
Gary is blue.
True
1
proof
[(triple1)]
("Gary" "is" "blue" "+")
triple1
Gary is not rough.
False
1
inv-proof
[(triple6)]
("Gary" "is" "rough" "-")
triple6
@0: Gary is blue.[(triple1)] Gary is cold.[(triple2)] Gary is not green.[(triple3)] Gary is not kind.[(triple4)] Gary is red.[(triple5)] Gary is rough.[(triple6)] Gary is white.[(triple7)] Harry is blue.[(triple8)] Harry is not cold.[(triple9)] Harry is not green.[(triple10)] Harry is not kind.[(triple11)] Harry is not red.[(triple12)] Harry is not rough.[(triple13)] Harry is white.[(triple14)]
Gary is blue.
("Gary" "is" "blue" "+")
triple1
Gary is cold.
("Gary" "is" "cold" "+")
triple2
Gary is not green.
("Gary" "is" "green" "-")
triple3
Gary is not kind.
("Gary" "is" "kind" "-")
triple4
Gary is red.
("Gary" "is" "red" "+")
triple5
Gary is rough.
("Gary" "is" "rough" "+")
triple6
Gary is white.
("Gary" "is" "white" "+")
triple7
Harry is blue.
("Harry" "is" "blue" "+")
triple8
Harry is not cold.
("Harry" "is" "cold" "-")
triple9
Harry is not green.
("Harry" "is" "green" "-")
triple10
Harry is not kind.
("Harry" "is" "kind" "-")
triple11
Harry is not red.
("Harry" "is" "red" "-")
triple12
Harry is not rough.
("Harry" "is" "rough" "-")
triple13
Harry is white.
("Harry" "is" "white" "+")
triple14