Dave is nice. Fiona is quiet. Gary is red. If Dave is not young then Dave is nice. If someone is rough and not smart then they are nice. Red people are quiet. If someone is red and not quiet then they are white. All young, quiet people are not white. If someone is rough and not young then they are white.
Dave is nice.
("Dave" "is" "nice" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Gary is red.
("Gary" "is" "red" "+")
If Dave is not young then Dave is nice.
((("Dave" "is" "young" "~")) -> ("Dave" "is" "nice" "+"))
If someone is rough and not smart then they are nice.
((("someone" "is" "rough" "+") ("someone" "is" "smart" "~")) -> ("someone" "is" "nice" "+"))
Red people are quiet.
((("someone" "is" "red" "+")) -> ("someone" "is" "quiet" "+"))
If someone is red and not quiet then they are white.
((("someone" "is" "red" "+") ("someone" "is" "quiet" "~")) -> ("someone" "is" "white" "+"))
All young, quiet people are not white.
((("someone" "is" "young" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "white" "-"))
If someone is rough and not young then they are white.
((("someone" "is" "rough" "+") ("someone" "is" "young" "~")) -> ("someone" "is" "white" "+"))
Gary is red.
True
1
proof
[(triple3)]
("Gary" "is" "red" "+")
triple3
Dave is not nice.
False
1
inv-proof
[(triple1)]
("Dave" "is" "nice" "-")
triple1
Fiona is not nice.
Unknown
inv-rconc
[@1: Fiona is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fiona" "is" "nice" "-")
Dave is young.
Unknown
random
[@0: Dave is young.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "young" "+")
@0: Dave is nice.[(triple1)] Fiona is quiet.[(triple2)] Gary is red.[(triple3)] @1: Gary is quiet.[(((triple3) -> rule3))]
Dave is nice.
("Dave" "is" "nice" "+")
triple1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple2
Gary is red.
("Gary" "is" "red" "+")
triple3
Gary is quiet.
("Gary" "is" "quiet" "+")
((triple3) -> (rule3 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1