Fiona is kind. If someone is red then they are blue. If Fiona is round and Fiona is blue then Fiona is kind. All kind people are red.
Fiona is kind.
("Fiona" "is" "kind" "+")
If someone is red then they are blue.
((("someone" "is" "red" "+")) -> ("someone" "is" "blue" "+"))
If Fiona is round and Fiona is blue then Fiona is kind.
((("Fiona" "is" "round" "+") ("Fiona" "is" "blue" "+")) -> ("Fiona" "is" "kind" "+"))
All kind people are red.
((("someone" "is" "kind" "+")) -> ("someone" "is" "red" "+"))
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 red.
True
2
proof
[(((triple1) -> rule3))]
("Fiona" "is" "red" "+")
((triple1) -> (rule3 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is not red.
False
2
inv-proof
[(((triple1) -> rule3))]
("Fiona" "is" "red" "-")
((triple1) -> (rule3 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is blue.
True
3
proof
[(((((triple1) -> rule3)) -> rule1))]
("Fiona" "is" "blue" "+")
((((triple1) -> (rule3 % int2))) -> (rule1 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is not blue.
False
3
inv-proof
[(((((triple1) -> rule3)) -> rule1))]
("Fiona" "is" "blue" "-")
((((triple1) -> (rule3 % int2))) -> (rule1 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is not quiet.
Unknown
inv-random
[@0: Fiona is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "quiet" "-")
Fiona is green.
Unknown
random
[@0: Fiona is green.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "green" "+")
Fiona is not round.
Unknown
inv-random
[@0: Fiona is round.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "round" "-")
Fiona is smart.
Unknown
random
[@0: Fiona is smart.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "smart" "+")
@0: Fiona is kind.[(triple1)] @1: Fiona is red.[(((triple1) -> rule3))] @2: Fiona is blue.[(((((triple1) -> rule3)) -> rule1))]
Fiona is kind.
("Fiona" "is" "kind" "+")
triple1
Fiona is red.
("Fiona" "is" "red" "+")
((triple1) -> (rule3 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
((((triple1) -> (rule3 % int2))) -> (rule1 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2