Erin is nice. If Erin is nice and Erin is quiet then Erin is big. All kind, young things are smart. If something is big then it is young. If something is kind and white then it is nice. If something is young then it is smart. All young things are quiet.
Erin is nice.
("Erin" "is" "nice" "+")
If Erin is nice and Erin is quiet then Erin is big.
((("Erin" "is" "nice" "+") ("Erin" "is" "quiet" "+")) -> ("Erin" "is" "big" "+"))
All kind, young things are smart.
((("something" "is" "kind" "+") ("something" "is" "young" "+")) -> ("something" "is" "smart" "+"))
If something is big then it is young.
((("something" "is" "big" "+")) -> ("something" "is" "young" "+"))
If something is kind and white then it is nice.
((("something" "is" "kind" "+") ("something" "is" "white" "+")) -> ("something" "is" "nice" "+"))
If something is young then it is smart.
((("something" "is" "young" "+")) -> ("something" "is" "smart" "+"))
All young things are quiet.
((("something" "is" "young" "+")) -> ("something" "is" "quiet" "+"))
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 young.
Unknown
inv-rconc
[@3: Erin is young.[CWA. Example of deepest failure = (rule3 <- rule1 <- rule6 <- FAIL)]]
("Erin" "is" "young" "-")
Erin is white.
Unknown
random
[@0: Erin is white.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "white" "+")
@0: Erin is nice.[(triple1)]
Erin is nice.
("Erin" "is" "nice" "+")
triple1