Fiona is kind. If Fiona is green and Fiona is kind then Fiona is not white. All kind, white people are green. If someone is rough then they are green. If Fiona is red then Fiona is not rough. If Fiona is kind then Fiona is green. All kind people are not round. Rough people are kind. If someone is rough and green then they are white.
Fiona is kind.
("Fiona" "is" "kind" "+")
If Fiona is green and Fiona is kind then Fiona is not white.
((("Fiona" "is" "green" "+") ("Fiona" "is" "kind" "+")) -> ("Fiona" "is" "white" "-"))
All kind, white people are green.
((("someone" "is" "kind" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "green" "+"))
If someone is rough then they are green.
((("someone" "is" "rough" "+")) -> ("someone" "is" "green" "+"))
If Fiona is red then Fiona is not rough.
((("Fiona" "is" "red" "+")) -> ("Fiona" "is" "rough" "-"))
If Fiona is kind then Fiona is green.
((("Fiona" "is" "kind" "+")) -> ("Fiona" "is" "green" "+"))
All kind people are not round.
((("someone" "is" "kind" "+")) -> ("someone" "is" "round" "-"))
Rough people are kind.
((("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
If someone is rough and green then they are white.
((("someone" "is" "rough" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "white" "+"))
Fiona is kind.
True
1
proof
[(triple1)]
("Fiona" "is" "kind" "+")
triple1
Fiona is not kind.
False
1
inv-proof
[(triple1)]
("Fiona" "is" "kind" "-")
triple1
Fiona is green.
True
2
proof
[(((triple1) -> rule5))]
("Fiona" "is" "green" "+")
((triple1) -> (rule5 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is round.
False
2
inv-proof
[(((triple1) -> rule6))]
("Fiona" "is" "round" "+")
((triple1) -> (rule6 % int1))
Fiona is not round.
("Fiona" "is" "round" "-")
int1
Fiona is not red.
Unknown
inv-random
[@0: Fiona is red.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "red" "-")
Fiona is young.
Unknown
random
[@0: Fiona is young.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "young" "+")
@0: Fiona is kind.[(triple1)] @1: Fiona is green.[(((triple1) -> rule5))] Fiona is not round.[(((triple1) -> rule6))] @2: Fiona is not white.[(((((triple1) -> rule5) triple1) -> rule1))]
Fiona is kind.
("Fiona" "is" "kind" "+")
triple1
Fiona is green.
("Fiona" "is" "green" "+")
((triple1) -> (rule5 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is not round.
("Fiona" "is" "round" "-")
((triple1) -> (rule6 % int1))
Fiona is not round.
("Fiona" "is" "round" "-")
int1
Fiona is not white.
("Fiona" "is" "white" "-")
((((triple1) -> (rule5 % int2)) triple1) -> (rule1 % int1))
Fiona is not white.
("Fiona" "is" "white" "-")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2