Anne is rough. Fiona is white. Cold, nice people are not rough. If someone is kind and not young then they are rough. If Fiona is quiet then Fiona is white. All rough, nice people are quiet. White people are kind. If someone is nice and not cold then they are not white.
Anne is rough.
("Anne" "is" "rough" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Cold, nice people are not rough.
((("someone" "is" "cold" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "rough" "-"))
If someone is kind and not young then they are rough.
((("someone" "is" "kind" "+") ("someone" "is" "young" "~")) -> ("someone" "is" "rough" "+"))
If Fiona is quiet then Fiona is white.
((("Fiona" "is" "quiet" "+")) -> ("Fiona" "is" "white" "+"))
All rough, nice people are quiet.
((("someone" "is" "rough" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "quiet" "+"))
White people are kind.
((("someone" "is" "white" "+")) -> ("someone" "is" "kind" "+"))
If someone is nice and not cold then they are not white.
((("someone" "is" "nice" "+") ("someone" "is" "cold" "~")) -> ("someone" "is" "white" "-"))
Anne is rough.
True
1
proof
[(triple1)]
("Anne" "is" "rough" "+")
triple1
Anne is not rough.
False
1
inv-proof
[(triple1)]
("Anne" "is" "rough" "-")
triple1
Anne is not quiet.
Unknown
inv-rconc
[@1: Anne is quiet.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Anne" "is" "quiet" "-")
Anne is young.
Unknown
random
[@0: Anne is young.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "young" "+")
@0: Anne is rough.[(triple1)] Fiona is white.[(triple2)] @1: Fiona is kind.[(((triple2) -> rule5))]
Anne is rough.
("Anne" "is" "rough" "+")
triple1
Fiona is white.
("Fiona" "is" "white" "+")
triple2
Fiona is kind.
("Fiona" "is" "kind" "+")
((triple2) -> (rule5 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1