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