Fiona is green. If something is quiet and not nice then it is not round. If Fiona is young and Fiona is round then Fiona is white. If Fiona is white and Fiona is young then Fiona is not kind. All quiet, round things are not green. If something is young and not round then it is kind. All young, round things are not kind.
Fiona is green.
("Fiona" "is" "green" "+")
If something is quiet and not nice then it is not round.
((("something" "is" "quiet" "+") ("something" "is" "nice" "~")) -> ("something" "is" "round" "-"))
If Fiona is young and Fiona is round then Fiona is white.
((("Fiona" "is" "young" "+") ("Fiona" "is" "round" "+")) -> ("Fiona" "is" "white" "+"))
If Fiona is white and Fiona is young then Fiona is not kind.
((("Fiona" "is" "white" "+") ("Fiona" "is" "young" "+")) -> ("Fiona" "is" "kind" "-"))
All quiet, round things are not green.
((("something" "is" "quiet" "+") ("something" "is" "round" "+")) -> ("something" "is" "green" "-"))
If something is young and not round then it is kind.
((("something" "is" "young" "+") ("something" "is" "round" "~")) -> ("something" "is" "kind" "+"))
All young, round things are not kind.
((("something" "is" "young" "+") ("something" "is" "round" "+")) -> ("something" "is" "kind" "-"))
Fiona is green.
True
1
proof
[(triple1)]
("Fiona" "is" "green" "+")
triple1
Fiona is not green.
False
1
inv-proof
[(triple1)]
("Fiona" "is" "green" "-")
triple1
Fiona is not kind.
Unknown
inv-rconc
[@1: Fiona is kind.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Fiona" "is" "kind" "-")
Fiona is quiet.
Unknown
random
[@0: Fiona is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "quiet" "+")
@0: Fiona is green.[(triple1)]
Fiona is green.
("Fiona" "is" "green" "+")
triple1