Dave is blue. Dave is red. Dave is not rough. Dave is round. Dave is not smart. Dave is white. Dave is young. Smart, round things are rough. All smart, white things are young.
Dave is blue.
("Dave" "is" "blue" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is not rough.
("Dave" "is" "rough" "-")
Dave is round.
("Dave" "is" "round" "+")
Dave is not smart.
("Dave" "is" "smart" "-")
Dave is white.
("Dave" "is" "white" "+")
Dave is young.
("Dave" "is" "young" "+")
Smart, round things are rough.
((("something" "is" "smart" "+") ("something" "is" "round" "+")) -> ("something" "is" "rough" "+"))
All smart, white things are young.
((("something" "is" "smart" "+") ("something" "is" "white" "+")) -> ("something" "is" "young" "+"))
Dave is young.
True
1
proof
[(triple7)]
("Dave" "is" "young" "+")
triple7
Dave is not white.
False
1
inv-proof
[(triple6)]
("Dave" "is" "white" "-")
triple6
@0: Dave is blue.[(triple1)] Dave is not rough.[(triple3)] Dave is not smart.[(triple5)] Dave is red.[(triple2)] Dave is round.[(triple4)] Dave is white.[(triple6)] Dave is young.[(triple7)]
Dave is blue.
("Dave" "is" "blue" "+")
triple1
Dave is not rough.
("Dave" "is" "rough" "-")
triple3
Dave is not smart.
("Dave" "is" "smart" "-")
triple5
Dave is red.
("Dave" "is" "red" "+")
triple2
Dave is round.
("Dave" "is" "round" "+")
triple4
Dave is white.
("Dave" "is" "white" "+")
triple6
Dave is young.
("Dave" "is" "young" "+")
triple7