Fiona is not white. Gary is not young. If someone is smart then they are quiet. Quiet, furry people are not smart. If Fiona is not white then Fiona is smart.
Fiona is not white.
("Fiona" "is" "white" "-")
Gary is not young.
("Gary" "is" "young" "-")
If someone is smart then they are quiet.
((("someone" "is" "smart" "+")) -> ("someone" "is" "quiet" "+"))
Quiet, furry people are not smart.
((("someone" "is" "quiet" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "smart" "-"))
If Fiona is not white then Fiona is smart.
((("Fiona" "is" "white" "~")) -> ("Fiona" "is" "smart" "+"))
Fiona is not white.
True
1
proof
[(triple1)]
("Fiona" "is" "white" "-")
triple1
Fiona is white.
False
1
inv-proof
[(triple1)]
("Fiona" "is" "white" "+")
triple1
Fiona is smart.
True
2
proof
[(((triple1) -> rule3))]
("Fiona" "is" "smart" "+")
((triple1) -> (rule3 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is not smart.
False
2
inv-proof
[(((triple1) -> rule3))]
("Fiona" "is" "smart" "-")
((triple1) -> (rule3 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is quiet.
True
3
proof
[(((((triple1) -> rule3)) -> rule1))]
("Fiona" "is" "quiet" "+")
((((triple1) -> (rule3 % int2))) -> (rule1 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is not quiet.
False
3
inv-proof
[(((((triple1) -> rule3)) -> rule1))]
("Fiona" "is" "quiet" "-")
((((triple1) -> (rule3 % int2))) -> (rule1 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Gary is not quiet.
Unknown
inv-rconc
[@1: Gary is quiet.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "quiet" "-")
Gary is red.
Unknown
random
[@0: Gary is red.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "red" "+")
Gary is not smart.
Unknown
inv-random
[@0: Gary is smart.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "smart" "-")
Gary is furry.
Unknown
random
[@0: Gary is furry.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "furry" "+")
Gary is not blue.
Unknown
inv-random
[@0: Gary is blue.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "blue" "-")
Fiona is young.
Unknown
random
[@0: Fiona is young.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "young" "+")
@0: Fiona is not white.[(triple1)] Gary is not young.[(triple2)] @1: Fiona is smart.[(((triple1) -> rule3))] @2: Fiona is quiet.[(((((triple1) -> rule3)) -> rule1))]
Fiona is not white.
("Fiona" "is" "white" "-")
triple1
Gary is not young.
("Gary" "is" "young" "-")
triple2
Fiona is smart.
("Fiona" "is" "smart" "+")
((triple1) -> (rule3 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
((((triple1) -> (rule3 % int2))) -> (rule1 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2