Charlie is not furry. Dave is red. Erin is quiet. If something is quiet then it is cold. If something is round and quiet then it is not furry. Red, quiet things are not furry. Furry things are quiet. If something is round then it is not quiet. If something is round then it is not big. If something is round then it is white. All furry, cold things are red.
Charlie is not furry.
("Charlie" "is" "furry" "-")
Dave is red.
("Dave" "is" "red" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
If something is quiet then it is cold.
((("something" "is" "quiet" "+")) -> ("something" "is" "cold" "+"))
If something is round and quiet then it is not furry.
((("something" "is" "round" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "furry" "-"))
Red, quiet things are not furry.
((("something" "is" "red" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "furry" "-"))
Furry things are quiet.
((("something" "is" "furry" "+")) -> ("something" "is" "quiet" "+"))
If something is round then it is not quiet.
((("something" "is" "round" "+")) -> ("something" "is" "quiet" "-"))
If something is round then it is not big.
((("something" "is" "round" "+")) -> ("something" "is" "big" "-"))
If something is round then it is white.
((("something" "is" "round" "+")) -> ("something" "is" "white" "+"))
All furry, cold things are red.
((("something" "is" "furry" "+") ("something" "is" "cold" "+")) -> ("something" "is" "red" "+"))
Erin is quiet.
True
1
proof
[(triple3)]
("Erin" "is" "quiet" "+")
triple3
Charlie is furry.
False
1
inv-proof
[(triple1)]
("Charlie" "is" "furry" "+")
triple1
Dave is not cold.
Unknown
inv-rconc
[@2: Dave is cold.[CWA. Example of deepest failure = (rule1 <- rule4 <- FAIL)]]
("Dave" "is" "cold" "-")
Dave is round.
Unknown
random
[@0: Dave is round.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "round" "+")
@0: Charlie is not furry.[(triple1)] Dave is red.[(triple2)] Erin is quiet.[(triple3)] @1: Erin is cold.[(((triple3) -> rule1))]
Charlie is not furry.
("Charlie" "is" "furry" "-")
triple1
Dave is red.
("Dave" "is" "red" "+")
triple2
Erin is quiet.
("Erin" "is" "quiet" "+")
triple3
Erin is cold.
("Erin" "is" "cold" "+")
((triple3) -> (rule1 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1