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