Dave is blue. Dave is cold. Dave is not furry. Dave is not kind. Dave is nice. Dave is not quiet. Dave is rough. If someone is furry then they are not cold. If Dave is furry and Dave is not cold then Dave is not blue. If Dave is blue and Dave is not nice then Dave is rough. If someone is kind and not rough then they are quiet. If someone is kind and nice then they are quiet. If someone is blue and not rough then they are kind.
Dave is blue.
("Dave" "is" "blue" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is not furry.
("Dave" "is" "furry" "-")
Dave is not kind.
("Dave" "is" "kind" "-")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is not quiet.
("Dave" "is" "quiet" "-")
Dave is rough.
("Dave" "is" "rough" "+")
If someone is furry then they are not cold.
((("someone" "is" "furry" "+")) -> ("someone" "is" "cold" "-"))
If Dave is furry and Dave is not cold then Dave is not blue.
((("Dave" "is" "furry" "+") ("Dave" "is" "cold" "~")) -> ("Dave" "is" "blue" "-"))
If Dave is blue and Dave is not nice then Dave is rough.
((("Dave" "is" "blue" "+") ("Dave" "is" "nice" "~")) -> ("Dave" "is" "rough" "+"))
If someone is kind and not rough then they are quiet.
((("someone" "is" "kind" "+") ("someone" "is" "rough" "~")) -> ("someone" "is" "quiet" "+"))
If someone is kind and nice then they are quiet.
((("someone" "is" "kind" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "quiet" "+"))
If someone is blue and not rough then they are kind.
((("someone" "is" "blue" "+") ("someone" "is" "rough" "~")) -> ("someone" "is" "kind" "+"))
Dave is not furry.
True
1
proof
[(triple3)]
("Dave" "is" "furry" "-")
triple3
Dave is quiet.
False
1
inv-proof
[(triple6)]
("Dave" "is" "quiet" "+")
triple6
@0: Dave is blue.[(triple1)] Dave is cold.[(triple2)] Dave is nice.[(triple5)] Dave is not furry.[(triple3)] Dave is not kind.[(triple4)] Dave is not quiet.[(triple6)] Dave is rough.[(triple7)]
Dave is blue.
("Dave" "is" "blue" "+")
triple1
Dave is cold.
("Dave" "is" "cold" "+")
triple2
Dave is nice.
("Dave" "is" "nice" "+")
triple5
Dave is not furry.
("Dave" "is" "furry" "-")
triple3
Dave is not kind.
("Dave" "is" "kind" "-")
triple4
Dave is not quiet.
("Dave" "is" "quiet" "-")
triple6
Dave is rough.
("Dave" "is" "rough" "+")
triple7