Dave is not quiet. Fiona is not quiet. Gary is furry. Harry is quiet. Furry, red people are rough. If someone is red and not nice then they are not quiet.
Dave is not quiet.
("Dave" "is" "quiet" "-")
Fiona is not quiet.
("Fiona" "is" "quiet" "-")
Gary is furry.
("Gary" "is" "furry" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Furry, red people are rough.
((("someone" "is" "furry" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "rough" "+"))
If someone is red and not nice then they are not quiet.
((("someone" "is" "red" "+") ("someone" "is" "nice" "~")) -> ("someone" "is" "quiet" "-"))
Harry is quiet.
True
1
proof
[(triple4)]
("Harry" "is" "quiet" "+")
triple4
Harry is not quiet.
False
1
inv-proof
[(triple4)]
("Harry" "is" "quiet" "-")
triple4
Dave is not rough.
Unknown
inv-rconc
[@1: Dave is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "rough" "-")
Dave is red.
Unknown
random
[@0: Dave is red.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "red" "+")
@0: Dave is not quiet.[(triple1)] Fiona is not quiet.[(triple2)] Gary is furry.[(triple3)] Harry is quiet.[(triple4)]
Dave is not quiet.
("Dave" "is" "quiet" "-")
triple1
Fiona is not quiet.
("Fiona" "is" "quiet" "-")
triple2
Gary is furry.
("Gary" "is" "furry" "+")
triple3
Harry is quiet.
("Harry" "is" "quiet" "+")
triple4