Harry is big. Harry is blue. Harry is green. Harry is not kind. Harry is not red. Harry is not round. Harry is not smart. Round, red people are big.
Harry is big.
("Harry" "is" "big" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is not kind.
("Harry" "is" "kind" "-")
Harry is not red.
("Harry" "is" "red" "-")
Harry is not round.
("Harry" "is" "round" "-")
Harry is not smart.
("Harry" "is" "smart" "-")
Round, red people are big.
((("someone" "is" "round" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "big" "+"))
Harry is not kind.
True
1
proof
[(triple4)]
("Harry" "is" "kind" "-")
triple4
Harry is red.
False
1
inv-proof
[(triple5)]
("Harry" "is" "red" "+")
triple5
@0: Harry is big.[(triple1)] Harry is blue.[(triple2)] Harry is green.[(triple3)] Harry is not kind.[(triple4)] Harry is not red.[(triple5)] Harry is not round.[(triple6)] Harry is not smart.[(triple7)]
Harry is big.
("Harry" "is" "big" "+")
triple1
Harry is blue.
("Harry" "is" "blue" "+")
triple2
Harry is green.
("Harry" "is" "green" "+")
triple3
Harry is not kind.
("Harry" "is" "kind" "-")
triple4
Harry is not red.
("Harry" "is" "red" "-")
triple5
Harry is not round.
("Harry" "is" "round" "-")
triple6
Harry is not smart.
("Harry" "is" "smart" "-")
triple7