Erin is nice. All young things are nice. If Erin is young then Erin is white. If something is blue and big then it is nice. If something is young and big then it is white. All rough things are white. If something is cold and nice then it is white.
Erin is nice.
("Erin" "is" "nice" "+")
All young things are nice.
((("something" "is" "young" "+")) -> ("something" "is" "nice" "+"))
If Erin is young then Erin is white.
((("Erin" "is" "young" "+")) -> ("Erin" "is" "white" "+"))
If something is blue and big then it is nice.
((("something" "is" "blue" "+") ("something" "is" "big" "+")) -> ("something" "is" "nice" "+"))
If something is young and big then it is white.
((("something" "is" "young" "+") ("something" "is" "big" "+")) -> ("something" "is" "white" "+"))
All rough things are white.
((("something" "is" "rough" "+")) -> ("something" "is" "white" "+"))
If something is cold and nice then it is white.
((("something" "is" "cold" "+") ("something" "is" "nice" "+")) -> ("something" "is" "white" "+"))
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 white.
Unknown
inv-rconc
[@1: Erin is white.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Erin" "is" "white" "-")
Erin is young.
Unknown
random
[@0: Erin is young.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "young" "+")
@0: Erin is nice.[(triple1)]
Erin is nice.
("Erin" "is" "nice" "+")
triple1