Harry is big. Harry is blue. Harry is cold. Harry is furry. Harry is kind. Harry is rough. Harry is young. If something is rough and not young then it is blue. If something is rough and not blue then it is furry.
Harry is big.
("Harry" "is" "big" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is young.
("Harry" "is" "young" "+")
If something is rough and not young then it is blue.
((("something" "is" "rough" "+") ("something" "is" "young" "~")) -> ("something" "is" "blue" "+"))
If something is rough and not blue then it is furry.
((("something" "is" "rough" "+") ("something" "is" "blue" "~")) -> ("something" "is" "furry" "+"))
Harry is cold.
True
1
proof
[(triple3)]
("Harry" "is" "cold" "+")
triple3
Harry is not kind.
False
1
inv-proof
[(triple5)]
("Harry" "is" "kind" "-")
triple5
@0: Harry is big.[(triple1)] Harry is blue.[(triple2)] Harry is cold.[(triple3)] Harry is furry.[(triple4)] Harry is kind.[(triple5)] Harry is rough.[(triple6)] Harry is young.[(triple7)]
Harry is big.
("Harry" "is" "big" "+")
triple1
Harry is blue.
("Harry" "is" "blue" "+")
triple2
Harry is cold.
("Harry" "is" "cold" "+")
triple3
Harry is furry.
("Harry" "is" "furry" "+")
triple4
Harry is kind.
("Harry" "is" "kind" "+")
triple5
Harry is rough.
("Harry" "is" "rough" "+")
triple6
Harry is young.
("Harry" "is" "young" "+")
triple7