Dave is not blue. Dave is furry. Dave is kind. Dave is not quiet. Dave is rough. Dave is white. Dave is not young. All furry people are white. If someone is young and not quiet then they are not rough.
Dave is not blue.
("Dave" "is" "blue" "-")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is not quiet.
("Dave" "is" "quiet" "-")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is white.
("Dave" "is" "white" "+")
Dave is not young.
("Dave" "is" "young" "-")
All furry people are white.
((("someone" "is" "furry" "+")) -> ("someone" "is" "white" "+"))
If someone is young and not quiet then they are not rough.
((("someone" "is" "young" "+") ("someone" "is" "quiet" "~")) -> ("someone" "is" "rough" "-"))
Dave is kind.
True
1
proof
[(triple3)]
("Dave" "is" "kind" "+")
triple3
Dave is not kind.
False
1
inv-proof
[(triple3)]
("Dave" "is" "kind" "-")
triple3
@0: Dave is furry.[(triple2)] Dave is kind.[(triple3)] Dave is not blue.[(triple1)] Dave is not quiet.[(triple4)] Dave is not young.[(triple7)] Dave is rough.[(triple5)] Dave is white.[(triple6 OR ((triple2) -> rule1))]
Dave is furry.
("Dave" "is" "furry" "+")
triple2
Dave is kind.
("Dave" "is" "kind" "+")
triple3
Dave is not blue.
("Dave" "is" "blue" "-")
triple1
Dave is not quiet.
("Dave" "is" "quiet" "-")
triple4
Dave is not young.
("Dave" "is" "young" "-")
triple7
Dave is rough.
("Dave" "is" "rough" "+")
triple5
Dave is white.
("Dave" "is" "white" "+")
triple6
((triple2) -> (rule1 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1