Harry is big. Harry is green. Harry is not kind. Harry is nice. Harry is rough. Harry is round. Harry is white. If something is kind then it is round. Nice, kind things are round. If Harry is not green then Harry is round.
Harry is big.
("Harry" "is" "big" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is not kind.
("Harry" "is" "kind" "-")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is white.
("Harry" "is" "white" "+")
If something is kind then it is round.
((("something" "is" "kind" "+")) -> ("something" "is" "round" "+"))
Nice, kind things are round.
((("something" "is" "nice" "+") ("something" "is" "kind" "+")) -> ("something" "is" "round" "+"))
If Harry is not green then Harry is round.
((("Harry" "is" "green" "~")) -> ("Harry" "is" "round" "+"))
Harry is round.
True
1
proof
[(triple6)]
("Harry" "is" "round" "+")
triple6
Harry is not rough.
False
1
inv-proof
[(triple5)]
("Harry" "is" "rough" "-")
triple5
@0: Harry is big.[(triple1)] Harry is green.[(triple2)] Harry is nice.[(triple4)] Harry is not kind.[(triple3)] Harry is rough.[(triple5)] Harry is round.[(triple6)] Harry is white.[(triple7)]
Harry is big.
("Harry" "is" "big" "+")
triple1
Harry is green.
("Harry" "is" "green" "+")
triple2
Harry is nice.
("Harry" "is" "nice" "+")
triple4
Harry is not kind.
("Harry" "is" "kind" "-")
triple3
Harry is rough.
("Harry" "is" "rough" "+")
triple5
Harry is round.
("Harry" "is" "round" "+")
triple6
Harry is white.
("Harry" "is" "white" "+")
triple7