Charlie is not kind. Charlie is nice. Charlie is rough. Erin is quiet. Gary is green. Gary is nice. Gary is rough. If something is green and not kind then it is blue. If something is blue then it is green. All nice things are quiet. All nice things are quiet. Nice things are quiet. All blue things are nice. If Erin is green and Erin is round then Erin is nice. If Gary is kind and Gary is not green then Gary is not rough.
Charlie is not kind.
("Charlie" "is" "kind" "-")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is rough.
("Gary" "is" "rough" "+")
If something is green and not kind then it is blue.
((("something" "is" "green" "+") ("something" "is" "kind" "~")) -> ("something" "is" "blue" "+"))
If something is blue then it is green.
((("something" "is" "blue" "+")) -> ("something" "is" "green" "+"))
All nice things are quiet.
((("something" "is" "nice" "+")) -> ("something" "is" "quiet" "+"))
All nice things are quiet.
((("something" "is" "nice" "+")) -> ("something" "is" "quiet" "+"))
Nice things are quiet.
((("something" "is" "nice" "+")) -> ("something" "is" "quiet" "+"))
All blue things are nice.
((("something" "is" "blue" "+")) -> ("something" "is" "nice" "+"))
If Erin is green and Erin is round then Erin is nice.
((("Erin" "is" "green" "+") ("Erin" "is" "round" "+")) -> ("Erin" "is" "nice" "+"))
If Gary is kind and Gary is not green then Gary is not rough.
((("Gary" "is" "kind" "+") ("Gary" "is" "green" "~")) -> ("Gary" "is" "rough" "-"))
Erin is quiet.
True
1
proof
[(triple4)]
("Erin" "is" "quiet" "+")
triple4
Charlie is kind.
False
1
inv-proof
[(triple1)]
("Charlie" "is" "kind" "+")
triple1
Erin is not green.
Unknown
inv-rconc
[@2: Erin is green.[CWA. Example of deepest failure = (rule2 <- rule1 <- FAIL)]]
("Erin" "is" "green" "-")
Gary is kind.
Unknown
random
[@0: Gary is kind.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "kind" "+")
@0: Charlie is nice.[(triple2)] Charlie is not kind.[(triple1)] Charlie is rough.[(triple3)] Erin is quiet.[(triple4)] Gary is green.[(triple5)] Gary is nice.[(triple6)] Gary is rough.[(triple7)] @1: Charlie is quiet.[(((triple2) -> rule3) OR ((triple2) -> rule4) OR ((triple2) -> rule5))] Gary is quiet.[(((triple6) -> rule3) OR ((triple6) -> rule4) OR ((triple6) -> rule5))]
Charlie is nice.
("Charlie" "is" "nice" "+")
triple2
Charlie is not kind.
("Charlie" "is" "kind" "-")
triple1
Charlie is rough.
("Charlie" "is" "rough" "+")
triple3
Erin is quiet.
("Erin" "is" "quiet" "+")
triple4
Gary is green.
("Gary" "is" "green" "+")
triple5
Gary is nice.
("Gary" "is" "nice" "+")
triple6
Gary is rough.
("Gary" "is" "rough" "+")
triple7
Charlie is quiet.
("Charlie" "is" "quiet" "+")
((triple2) -> (rule3 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
((triple2) -> (rule4 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
((triple2) -> (rule5 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
((triple6) -> (rule3 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
((triple6) -> (rule4 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
((triple6) -> (rule5 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1