Fiona is white. All quiet, white people are kind. Round people are not quiet. All white people are young. Quiet, white people are not smart. If Fiona is furry then Fiona is young. Young people are round. If Fiona is not round and Fiona is not smart then Fiona is kind. If Fiona is white and Fiona is not furry then Fiona is kind.
Fiona is white.
("Fiona" "is" "white" "+")
All quiet, white people are kind.
((("someone" "is" "quiet" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "kind" "+"))
Round people are not quiet.
((("someone" "is" "round" "+")) -> ("someone" "is" "quiet" "-"))
All white people are young.
((("someone" "is" "white" "+")) -> ("someone" "is" "young" "+"))
Quiet, white people are not smart.
((("someone" "is" "quiet" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "smart" "-"))
If Fiona is furry then Fiona is young.
((("Fiona" "is" "furry" "+")) -> ("Fiona" "is" "young" "+"))
Young people are round.
((("someone" "is" "young" "+")) -> ("someone" "is" "round" "+"))
If Fiona is not round and Fiona is not smart then Fiona is kind.
((("Fiona" "is" "round" "~") ("Fiona" "is" "smart" "~")) -> ("Fiona" "is" "kind" "+"))
If Fiona is white and Fiona is not furry then Fiona is kind.
((("Fiona" "is" "white" "+") ("Fiona" "is" "furry" "~")) -> ("Fiona" "is" "kind" "+"))
Fiona is white.
True
1
proof
[(triple1)]
("Fiona" "is" "white" "+")
triple1
Fiona is not white.
False
1
inv-proof
[(triple1)]
("Fiona" "is" "white" "-")
triple1
Fiona is young.
True
2
proof
[(((triple1) -> rule3))]
("Fiona" "is" "young" "+")
((triple1) -> (rule3 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is not young.
False
2
inv-proof
[(((triple1) -> rule3))]
("Fiona" "is" "young" "-")
((triple1) -> (rule3 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is round.
True
3
proof
[(((((triple1) -> rule3)) -> rule6))]
("Fiona" "is" "round" "+")
((((triple1) -> (rule3 % int2))) -> (rule6 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is not round.
False
3
inv-proof
[(((((triple1) -> rule3)) -> rule6))]
("Fiona" "is" "round" "-")
((((triple1) -> (rule3 % int2))) -> (rule6 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is not kind.
Unknown
inv-rconc
[@1: Fiona is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fiona" "is" "kind" "-")
Fiona is furry.
Unknown
random
[@0: Fiona is furry.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "furry" "+")
@0: Fiona is white.[(triple1)] @1: Fiona is young.[(((triple1) -> rule3))] @2: Fiona is round.[(((((triple1) -> rule3)) -> rule6))] @3: Fiona is not quiet.[(((((((triple1) -> rule3)) -> rule6)) -> rule2))]
Fiona is white.
("Fiona" "is" "white" "+")
triple1
Fiona is young.
("Fiona" "is" "young" "+")
((triple1) -> (rule3 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
((((triple1) -> (rule3 % int2))) -> (rule6 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is not quiet.
("Fiona" "is" "quiet" "-")
((((((triple1) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Fiona is not quiet.
("Fiona" "is" "quiet" "-")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3