Anne is kind. Anne is nice. Anne is not white. Dave is kind. Dave is smart. Dave is white. Fiona is white. If Fiona is smart and Fiona is not nice then Fiona is not quiet. If Anne is white then Anne is kind. If someone is nice and not smart then they are young. Quiet people are not young. White, quiet people are not kind. Kind, smart people are not big. Smart, kind people are not quiet. If Dave is quiet and Dave is not kind then Dave is young.
Anne is kind.
("Anne" "is" "kind" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is not white.
("Anne" "is" "white" "-")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is smart.
("Dave" "is" "smart" "+")
Dave is white.
("Dave" "is" "white" "+")
Fiona is white.
("Fiona" "is" "white" "+")
If Fiona is smart and Fiona is not nice then Fiona is not quiet.
((("Fiona" "is" "smart" "+") ("Fiona" "is" "nice" "~")) -> ("Fiona" "is" "quiet" "-"))
If Anne is white then Anne is kind.
((("Anne" "is" "white" "+")) -> ("Anne" "is" "kind" "+"))
If someone is nice and not smart then they are young.
((("someone" "is" "nice" "+") ("someone" "is" "smart" "~")) -> ("someone" "is" "young" "+"))
Quiet people are not young.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "young" "-"))
White, quiet people are not kind.
((("someone" "is" "white" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "kind" "-"))
Kind, smart people are not big.
((("someone" "is" "kind" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "big" "-"))
Smart, kind people are not quiet.
((("someone" "is" "smart" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "quiet" "-"))
If Dave is quiet and Dave is not kind then Dave is young.
((("Dave" "is" "quiet" "+") ("Dave" "is" "kind" "~")) -> ("Dave" "is" "young" "+"))
Fiona is white.
True
1
proof
[(triple7)]
("Fiona" "is" "white" "+")
triple7
Fiona is not white.
False
1
inv-proof
[(triple7)]
("Fiona" "is" "white" "-")
triple7
Fiona is not young.
Unknown
inv-rconc
[@1: Fiona is young.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Fiona" "is" "young" "-")
Fiona is big.
Unknown
random
[@0: Fiona is big.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "big" "+")
@0: Anne is kind.[(triple1)] Anne is nice.[(triple2)] Anne is not white.[(triple3)] Dave is kind.[(triple4)] Dave is smart.[(triple5)] Dave is white.[(triple6)] Fiona is white.[(triple7)] @1: Dave is not big.[(((triple4 triple5) -> rule6))] Dave is not quiet.[(((triple5 triple4) -> rule7))]
Anne is kind.
("Anne" "is" "kind" "+")
triple1
Anne is nice.
("Anne" "is" "nice" "+")
triple2
Anne is not white.
("Anne" "is" "white" "-")
triple3
Dave is kind.
("Dave" "is" "kind" "+")
triple4
Dave is smart.
("Dave" "is" "smart" "+")
triple5
Dave is white.
("Dave" "is" "white" "+")
triple6
Fiona is white.
("Fiona" "is" "white" "+")
triple7
Dave is not big.
("Dave" "is" "big" "-")
((triple4 triple5) -> (rule6 % int1))
Dave is not big.
("Dave" "is" "big" "-")
int1
Dave is not quiet.
("Dave" "is" "quiet" "-")
((triple5 triple4) -> (rule7 % int1))
Dave is not quiet.
("Dave" "is" "quiet" "-")
int1