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