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