Fiona is blue. All furry people are not white. Blue people are furry. If Fiona is kind and Fiona is blue then Fiona is white.
Fiona is blue.
("Fiona" "is" "blue" "+")
All furry people are not white.
((("someone" "is" "furry" "+")) -> ("someone" "is" "white" "-"))
Blue people are furry.
((("someone" "is" "blue" "+")) -> ("someone" "is" "furry" "+"))
If Fiona is kind and Fiona is blue then Fiona is white.
((("Fiona" "is" "kind" "+") ("Fiona" "is" "blue" "+")) -> ("Fiona" "is" "white" "+"))
Fiona is blue.
True
1
proof
[(triple1)]
("Fiona" "is" "blue" "+")
triple1
Fiona is not blue.
False
1
inv-proof
[(triple1)]
("Fiona" "is" "blue" "-")
triple1
Fiona is furry.
True
2
proof
[(((triple1) -> rule2))]
("Fiona" "is" "furry" "+")
((triple1) -> (rule2 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is not furry.
False
2
inv-proof
[(((triple1) -> rule2))]
("Fiona" "is" "furry" "-")
((triple1) -> (rule2 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is not white.
True
3
proof
[(((((triple1) -> rule2)) -> rule1))]
("Fiona" "is" "white" "-")
((((triple1) -> (rule2 % int2))) -> (rule1 % int1))
Fiona is not white.
("Fiona" "is" "white" "-")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is white.
False
3
inv-proof
[(((((triple1) -> rule2)) -> rule1))]
("Fiona" "is" "white" "+")
((((triple1) -> (rule2 % int2))) -> (rule1 % int1))
Fiona is not white.
("Fiona" "is" "white" "-")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is not red.
Unknown
inv-random
[@0: Fiona is red.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "red" "-")
Fiona is kind.
Unknown
random
[@0: Fiona is kind.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "kind" "+")
Fiona is not rough.
Unknown
inv-random
[@0: Fiona is rough.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "rough" "-")
Fiona is smart.
Unknown
random
[@0: Fiona is smart.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "smart" "+")
@0: Fiona is blue.[(triple1)] @1: Fiona is furry.[(((triple1) -> rule2))] @2: Fiona is not white.[(((((triple1) -> rule2)) -> rule1))]
Fiona is blue.
("Fiona" "is" "blue" "+")
triple1
Fiona is furry.
("Fiona" "is" "furry" "+")
((triple1) -> (rule2 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is not white.
("Fiona" "is" "white" "-")
((((triple1) -> (rule2 % int2))) -> (rule1 % int1))
Fiona is not white.
("Fiona" "is" "white" "-")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2