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