Erin is furry. Erin is not red. Erin is rough. If Erin is furry and Erin is not big then Erin is kind. If Erin is furry and Erin is not big then Erin is not kind. If someone is furry and not young then they are kind. If someone is big and not furry then they are quiet. Red people are not rough. All kind people are red. If someone is kind and not quiet then they are not red. If someone is big then they are red.
Erin is furry.
("Erin" "is" "furry" "+")
Erin is not red.
("Erin" "is" "red" "-")
Erin is rough.
("Erin" "is" "rough" "+")
If Erin is furry and Erin is not big then Erin is kind.
((("Erin" "is" "furry" "+") ("Erin" "is" "big" "~")) -> ("Erin" "is" "kind" "+"))
If Erin is furry and Erin is not big then Erin is not kind.
((("Erin" "is" "furry" "+") ("Erin" "is" "big" "~")) -> ("Erin" "is" "kind" "-"))
If someone is furry and not young then they are kind.
((("someone" "is" "furry" "+") ("someone" "is" "young" "~")) -> ("someone" "is" "kind" "+"))
If someone is big and not furry then they are quiet.
((("someone" "is" "big" "+") ("someone" "is" "furry" "~")) -> ("someone" "is" "quiet" "+"))
Red people are not rough.
((("someone" "is" "red" "+")) -> ("someone" "is" "rough" "-"))
All kind people are red.
((("someone" "is" "kind" "+")) -> ("someone" "is" "red" "+"))
If someone is kind and not quiet then they are not red.
((("someone" "is" "kind" "+") ("someone" "is" "quiet" "~")) -> ("someone" "is" "red" "-"))
If someone is big then they are red.
((("someone" "is" "big" "+")) -> ("someone" "is" "red" "+"))
Erin is furry.
True
1
proof
[(triple1)]
("Erin" "is" "furry" "+")
triple1
Erin is red.
False
1
inv-proof
[(triple2)]
("Erin" "is" "red" "+")
triple2
Erin is not kind.
Unknown
inv-rconc
[@1: Erin is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Erin" "is" "kind" "-")
Erin is big.
Unknown
random
[@0: Erin is big.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "big" "+")
@0: Erin is furry.[(triple1)] Erin is not red.[(triple2)] Erin is rough.[(triple3)]
Erin is furry.
("Erin" "is" "furry" "+")
triple1
Erin is not red.
("Erin" "is" "red" "-")
triple2
Erin is rough.
("Erin" "is" "rough" "+")
triple3