Erin is nice. If Erin is blue and Erin is not nice then Erin is rough. If someone is quiet then they are blue. Nice people are not rough. If someone is white then they are furry. If someone is white and not blue then they are furry. All rough, white people are furry.
Erin is nice.
("Erin" "is" "nice" "+")
If Erin is blue and Erin is not nice then Erin is rough.
((("Erin" "is" "blue" "+") ("Erin" "is" "nice" "~")) -> ("Erin" "is" "rough" "+"))
If someone is quiet then they are blue.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "blue" "+"))
Nice people are not rough.
((("someone" "is" "nice" "+")) -> ("someone" "is" "rough" "-"))
If someone is white then they are furry.
((("someone" "is" "white" "+")) -> ("someone" "is" "furry" "+"))
If someone is white and not blue then they are furry.
((("someone" "is" "white" "+") ("someone" "is" "blue" "~")) -> ("someone" "is" "furry" "+"))
All rough, white people are furry.
((("someone" "is" "rough" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "furry" "+"))
Erin is nice.
True
1
proof
[(triple1)]
("Erin" "is" "nice" "+")
triple1
Erin is not nice.
False
1
inv-proof
[(triple1)]
("Erin" "is" "nice" "-")
triple1
Erin is not rough.
True
2
proof
[(((triple1) -> rule3))]
("Erin" "is" "rough" "-")
((triple1) -> (rule3 % int1))
Erin is not rough.
("Erin" "is" "rough" "-")
int1
Erin is rough.
False
2
inv-proof
[(((triple1) -> rule3))]
("Erin" "is" "rough" "+")
((triple1) -> (rule3 % int1))
Erin is not rough.
("Erin" "is" "rough" "-")
int1
Erin is not furry.
Unknown
inv-rconc
[@1: Erin is furry.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Erin" "is" "furry" "-")
Erin is blue.
Unknown
rconc
[@1: Erin is blue.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Erin" "is" "blue" "+")
Erin is not big.
Unknown
inv-random
[@0: Erin is big.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "big" "-")
Erin is quiet.
Unknown
random
[@0: Erin is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "quiet" "+")
@0: Erin is nice.[(triple1)] @1: Erin is not rough.[(((triple1) -> rule3))]
Erin is nice.
("Erin" "is" "nice" "+")
triple1
Erin is not rough.
("Erin" "is" "rough" "-")
((triple1) -> (rule3 % int1))
Erin is not rough.
("Erin" "is" "rough" "-")
int1