Charlie is nice. Erin is quiet. If someone is quiet and not white then they are blue. If Erin is quiet and Erin is nice then Erin is young.
Charlie is nice.
("Charlie" "is" "nice" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
If someone is quiet and not white then they are blue.
((("someone" "is" "quiet" "+") ("someone" "is" "white" "~")) -> ("someone" "is" "blue" "+"))
If Erin is quiet and Erin is nice then Erin is young.
((("Erin" "is" "quiet" "+") ("Erin" "is" "nice" "+")) -> ("Erin" "is" "young" "+"))
Erin is quiet.
True
1
proof
[(triple2)]
("Erin" "is" "quiet" "+")
triple2
Charlie is not nice.
False
1
inv-proof
[(triple1)]
("Charlie" "is" "nice" "-")
triple1
Erin is not blue.
Unknown
inv-rconc
[@1: Erin is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Erin" "is" "blue" "-")
Erin is nice.
Unknown
random
[@0: Erin is nice.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "nice" "+")
@0: Charlie is nice.[(triple1)] Erin is quiet.[(triple2)]
Charlie is nice.
("Charlie" "is" "nice" "+")
triple1
Erin is quiet.
("Erin" "is" "quiet" "+")
triple2