Dave is quiet. Fiona is not green. Gary is not furry. If Dave is furry then Dave is green. Round, white people are not smart. If Dave is not smart and Dave is not furry then Dave is not big. Quiet people are green. If Dave is green then Dave is quiet. All big, smart people are not quiet.
Dave is quiet.
("Dave" "is" "quiet" "+")
Fiona is not green.
("Fiona" "is" "green" "-")
Gary is not furry.
("Gary" "is" "furry" "-")
If Dave is furry then Dave is green.
((("Dave" "is" "furry" "+")) -> ("Dave" "is" "green" "+"))
Round, white people are not smart.
((("someone" "is" "round" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "smart" "-"))
If Dave is not smart and Dave is not furry then Dave is not big.
((("Dave" "is" "smart" "~") ("Dave" "is" "furry" "~")) -> ("Dave" "is" "big" "-"))
Quiet people are green.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "green" "+"))
If Dave is green then Dave is quiet.
((("Dave" "is" "green" "+")) -> ("Dave" "is" "quiet" "+"))
All big, smart people are not quiet.
((("someone" "is" "big" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "quiet" "-"))
Gary is not furry.
True
1
proof
[(triple3)]
("Gary" "is" "furry" "-")
triple3
Dave is not quiet.
False
1
inv-proof
[(triple1)]
("Dave" "is" "quiet" "-")
triple1
Dave is green.
True
2
proof
[(((triple1) -> rule4))]
("Dave" "is" "green" "+")
((triple1) -> (rule4 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is not green.
False
2
inv-proof
[(((triple1) -> rule4))]
("Dave" "is" "green" "-")
((triple1) -> (rule4 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Gary is not green.
Unknown
inv-rconc
[@1: Gary is green.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Gary" "is" "green" "-")
Fiona is round.
Unknown
random
[@0: Fiona is round.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "round" "+")
Gary is not smart.
Unknown
inv-random
[@0: Gary is smart.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "smart" "-")
Gary is white.
Unknown
random
[@0: Gary is white.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "white" "+")
@0: Dave is quiet.[(triple1)] Fiona is not green.[(triple2)] Gary is not furry.[(triple3)] @1: Dave is green.[(((triple1) -> rule4))]
Dave is quiet.
("Dave" "is" "quiet" "+")
triple1
Fiona is not green.
("Fiona" "is" "green" "-")
triple2
Gary is not furry.
("Gary" "is" "furry" "-")
triple3
Dave is green.
("Dave" "is" "green" "+")
((triple1) -> (rule4 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1