Anne is furry. Dave is quiet. Erin is furry. Fiona is not round. If Fiona is not furry then Fiona is not big. If something is quiet and rough then it is round.
Anne is furry.
("Anne" "is" "furry" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Fiona is not round.
("Fiona" "is" "round" "-")
If Fiona is not furry then Fiona is not big.
((("Fiona" "is" "furry" "~")) -> ("Fiona" "is" "big" "-"))
If something is quiet and rough then it is round.
((("something" "is" "quiet" "+") ("something" "is" "rough" "+")) -> ("something" "is" "round" "+"))
Erin is furry.
True
1
proof
[(triple3)]
("Erin" "is" "furry" "+")
triple3
Erin is not furry.
False
1
inv-proof
[(triple3)]
("Erin" "is" "furry" "-")
triple3
Erin is not round.
Unknown
inv-rconc
[@1: Erin is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Erin" "is" "round" "-")
Fiona is red.
Unknown
random
[@0: Fiona is red.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "red" "+")
@0: Anne is furry.[(triple1)] Dave is quiet.[(triple2)] Erin is furry.[(triple3)] Fiona is not round.[(triple4)]
Anne is furry.
("Anne" "is" "furry" "+")
triple1
Dave is quiet.
("Dave" "is" "quiet" "+")
triple2
Erin is furry.
("Erin" "is" "furry" "+")
triple3
Fiona is not round.
("Fiona" "is" "round" "-")
triple4