Dave is not blue. Dave is not furry. Dave is nice. Dave is quiet. Dave is red. Dave is white. Dave is young. Quiet things are not furry.
Dave is not blue.
("Dave" "is" "blue" "-")
Dave is not furry.
("Dave" "is" "furry" "-")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is white.
("Dave" "is" "white" "+")
Dave is young.
("Dave" "is" "young" "+")
Quiet things are not furry.
((("something" "is" "quiet" "+")) -> ("something" "is" "furry" "-"))
Dave is quiet.
True
1
proof
[(triple4)]
("Dave" "is" "quiet" "+")
triple4
Dave is blue.
False
1
inv-proof
[(triple1)]
("Dave" "is" "blue" "+")
triple1
@0: Dave is nice.[(triple3)] Dave is not blue.[(triple1)] Dave is not furry.[(triple2 OR ((triple4) -> rule1))] Dave is quiet.[(triple4)] Dave is red.[(triple5)] Dave is white.[(triple6)] Dave is young.[(triple7)]
Dave is nice.
("Dave" "is" "nice" "+")
triple3
Dave is not blue.
("Dave" "is" "blue" "-")
triple1
Dave is not furry.
("Dave" "is" "furry" "-")
triple2
((triple4) -> (rule1 % int1))
Dave is not furry.
("Dave" "is" "furry" "-")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
triple4
Dave is red.
("Dave" "is" "red" "+")
triple5
Dave is white.
("Dave" "is" "white" "+")
triple6
Dave is young.
("Dave" "is" "young" "+")
triple7