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