Dave is not big. Dave is not blue. Dave is cold. Dave is green. Dave is kind. Dave is not quiet. Dave is smart. All smart, blue things are big.
Dave is not big.
("Dave" "is" "big" "-")
Dave is not blue.
("Dave" "is" "blue" "-")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is not quiet.
("Dave" "is" "quiet" "-")
Dave is smart.
("Dave" "is" "smart" "+")
All smart, blue things are big.
((("something" "is" "smart" "+") ("something" "is" "blue" "+")) -> ("something" "is" "big" "+"))
Dave is not blue.
True
1
proof
[(triple2)]
("Dave" "is" "blue" "-")
triple2
Dave is quiet.
False
1
inv-proof
[(triple6)]
("Dave" "is" "quiet" "+")
triple6
@0: Dave is cold.[(triple3)] Dave is green.[(triple4)] Dave is kind.[(triple5)] Dave is not big.[(triple1)] Dave is not blue.[(triple2)] Dave is not quiet.[(triple6)] Dave is smart.[(triple7)]
Dave is cold.
("Dave" "is" "cold" "+")
triple3
Dave is green.
("Dave" "is" "green" "+")
triple4
Dave is kind.
("Dave" "is" "kind" "+")
triple5
Dave is not big.
("Dave" "is" "big" "-")
triple1
Dave is not blue.
("Dave" "is" "blue" "-")
triple2
Dave is not quiet.
("Dave" "is" "quiet" "-")
triple6
Dave is smart.
("Dave" "is" "smart" "+")
triple7