Dave is kind. Erin is quiet. Fiona is kind. Gary is not white. If Gary is nice then Gary is green. Round people are kind. All kind people are not nice. If someone is round and not nice then they are white. Nice, white people are quiet. If someone is nice and round then they are not quiet. All green people are not quiet. If someone is kind and not white then they are green.
Dave is kind.
("Dave" "is" "kind" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Gary is not white.
("Gary" "is" "white" "-")
If Gary is nice then Gary is green.
((("Gary" "is" "nice" "+")) -> ("Gary" "is" "green" "+"))
Round people are kind.
((("someone" "is" "round" "+")) -> ("someone" "is" "kind" "+"))
All kind people are not nice.
((("someone" "is" "kind" "+")) -> ("someone" "is" "nice" "-"))
If someone is round and not nice then they are white.
((("someone" "is" "round" "+") ("someone" "is" "nice" "~")) -> ("someone" "is" "white" "+"))
Nice, white people are quiet.
((("someone" "is" "nice" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "quiet" "+"))
If someone is nice and round then they are not quiet.
((("someone" "is" "nice" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "quiet" "-"))
All green people are not quiet.
((("someone" "is" "green" "+")) -> ("someone" "is" "quiet" "-"))
If someone is kind and not white then they are green.
((("someone" "is" "kind" "+") ("someone" "is" "white" "~")) -> ("someone" "is" "green" "+"))
Dave is kind.
True
1
proof
[(triple1)]
("Dave" "is" "kind" "+")
triple1
Erin is not quiet.
False
1
inv-proof
[(triple2)]
("Erin" "is" "quiet" "-")
triple2
Fiona is not white.
Unknown
inv-rconc
[@1: Fiona is white.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Fiona" "is" "white" "-")
Erin is round.
Unknown
random
[@0: Erin is round.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "round" "+")
@0: Dave is kind.[(triple1)] Erin is quiet.[(triple2)] Fiona is kind.[(triple3)] Gary is not white.[(triple4)] @1: Dave is not nice.[(((triple1) -> rule3))] Fiona is not nice.[(((triple3) -> rule3))]
Dave is kind.
("Dave" "is" "kind" "+")
triple1
Erin is quiet.
("Erin" "is" "quiet" "+")
triple2
Fiona is kind.
("Fiona" "is" "kind" "+")
triple3
Gary is not white.
("Gary" "is" "white" "-")
triple4
Dave is not nice.
("Dave" "is" "nice" "-")
((triple1) -> (rule3 % int1))
Dave is not nice.
("Dave" "is" "nice" "-")
int1
Fiona is not nice.
("Fiona" "is" "nice" "-")
((triple3) -> (rule3 % int1))
Fiona is not nice.
("Fiona" "is" "nice" "-")
int1