Erin is red. All furry, young things are red. If something is quiet then it is not red. If Erin is nice and Erin is not quiet then Erin is furry.
Erin is red.
("Erin" "is" "red" "+")
All furry, young things are red.
((("something" "is" "furry" "+") ("something" "is" "young" "+")) -> ("something" "is" "red" "+"))
If something is quiet then it is not red.
((("something" "is" "quiet" "+")) -> ("something" "is" "red" "-"))
If Erin is nice and Erin is not quiet then Erin is furry.
((("Erin" "is" "nice" "+") ("Erin" "is" "quiet" "~")) -> ("Erin" "is" "furry" "+"))
Erin is red.
True
1
proof
[(triple1)]
("Erin" "is" "red" "+")
triple1
Erin is not red.
False
1
inv-proof
[(triple1)]
("Erin" "is" "red" "-")
triple1
Erin is not furry.
Unknown
inv-rconc
[@1: Erin is furry.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Erin" "is" "furry" "-")
Erin is big.
Unknown
random
[@0: Erin is big.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "big" "+")
@0: Erin is red.[(triple1)]
Erin is red.
("Erin" "is" "red" "+")
triple1