Dave is quiet. Erin is furry. Fiona is not blue. If something is round and quiet then it is green. If something is furry and not quiet then it is green. Furry things are round.
Dave is quiet.
("Dave" "is" "quiet" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Fiona is not blue.
("Fiona" "is" "blue" "-")
If something is round and quiet then it is green.
((("something" "is" "round" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "green" "+"))
If something is furry and not quiet then it is green.
((("something" "is" "furry" "+") ("something" "is" "quiet" "~")) -> ("something" "is" "green" "+"))
Furry things are round.
((("something" "is" "furry" "+")) -> ("something" "is" "round" "+"))
Dave is quiet.
True
1
proof
[(triple1)]
("Dave" "is" "quiet" "+")
triple1
Dave is not quiet.
False
1
inv-proof
[(triple1)]
("Dave" "is" "quiet" "-")
triple1
Erin is round.
True
2
proof
[(((triple2) -> rule3))]
("Erin" "is" "round" "+")
((triple2) -> (rule3 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is not round.
False
2
inv-proof
[(((triple2) -> rule3))]
("Erin" "is" "round" "-")
((triple2) -> (rule3 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is not green.
Unknown
inv-rconc
[@1: Erin is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Erin" "is" "green" "-")
Dave is green.
Unknown
rconc
[@2: Dave is green.[CWA. Example of deepest failure = (rule1 <- rule3 <- FAIL)]]
("Dave" "is" "green" "+")
Erin is not blue.
Unknown
inv-random
[@0: Erin is blue.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "blue" "-")
Dave is blue.
Unknown
random
[@0: Dave is blue.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "blue" "+")
@0: Dave is quiet.[(triple1)] Erin is furry.[(triple2)] Fiona is not blue.[(triple3)] @1: Erin is round.[(((triple2) -> rule3))]
Dave is quiet.
("Dave" "is" "quiet" "+")
triple1
Erin is furry.
("Erin" "is" "furry" "+")
triple2
Fiona is not blue.
("Fiona" "is" "blue" "-")
triple3
Erin is round.
("Erin" "is" "round" "+")
((triple2) -> (rule3 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1