Fiona is red. If someone is red then they are nice. If someone is kind and red then they are white. If someone is nice then they are kind.
Fiona is red.
("Fiona" "is" "red" "+")
If someone is red then they are nice.
((("someone" "is" "red" "+")) -> ("someone" "is" "nice" "+"))
If someone is kind and red then they are white.
((("someone" "is" "kind" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "white" "+"))
If someone is nice then they are kind.
((("someone" "is" "nice" "+")) -> ("someone" "is" "kind" "+"))
Fiona is red.
True
1
proof
[(triple1)]
("Fiona" "is" "red" "+")
triple1
Fiona is not red.
False
1
inv-proof
[(triple1)]
("Fiona" "is" "red" "-")
triple1
Fiona is nice.
True
2
proof
[(((triple1) -> rule1))]
("Fiona" "is" "nice" "+")
((triple1) -> (rule1 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is not nice.
False
2
inv-proof
[(((triple1) -> rule1))]
("Fiona" "is" "nice" "-")
((triple1) -> (rule1 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is kind.
True
3
proof
[(((((triple1) -> rule1)) -> rule3))]
("Fiona" "is" "kind" "+")
((((triple1) -> (rule1 % int2))) -> (rule3 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is not kind.
False
3
inv-proof
[(((((triple1) -> rule1)) -> rule3))]
("Fiona" "is" "kind" "-")
((((triple1) -> (rule1 % int2))) -> (rule3 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is white.
True
5
proof
[(((((((triple1) -> rule1)) -> rule3) triple1) -> rule2))]
("Fiona" "is" "white" "+")
((((((triple1) -> (rule1 % int3))) -> (rule3 % int2)) triple1) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is not white.
False
5
inv-proof
[(((((((triple1) -> rule1)) -> rule3) triple1) -> rule2))]
("Fiona" "is" "white" "-")
((((((triple1) -> (rule1 % int3))) -> (rule3 % int2)) triple1) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is not round.
Unknown
inv-random
[@0: Fiona is round.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "round" "-")
Fiona is furry.
Unknown
random
[@0: Fiona is furry.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "furry" "+")
@0: Fiona is red.[(triple1)] @1: Fiona is nice.[(((triple1) -> rule1))] @2: Fiona is kind.[(((((triple1) -> rule1)) -> rule3))] @3: Fiona is white.[(((((((triple1) -> rule1)) -> rule3) triple1) -> rule2))]
Fiona is red.
("Fiona" "is" "red" "+")
triple1
Fiona is nice.
("Fiona" "is" "nice" "+")
((triple1) -> (rule1 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
((((triple1) -> (rule1 % int2))) -> (rule3 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
((((((triple1) -> (rule1 % int3))) -> (rule3 % int2)) triple1) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3