Erin is not white. Fiona is blue. Gary is nice. If something is blue then it is white. If something is white then it is kind.
Erin is not white.
("Erin" "is" "white" "-")
Fiona is blue.
("Fiona" "is" "blue" "+")
Gary is nice.
("Gary" "is" "nice" "+")
If something is blue then it is white.
((("something" "is" "blue" "+")) -> ("something" "is" "white" "+"))
If something is white then it is kind.
((("something" "is" "white" "+")) -> ("something" "is" "kind" "+"))
Gary is nice.
True
1
proof
[(triple3)]
("Gary" "is" "nice" "+")
triple3
Fiona is not blue.
False
1
inv-proof
[(triple2)]
("Fiona" "is" "blue" "-")
triple2
Fiona is white.
True
2
proof
[(((triple2) -> rule1))]
("Fiona" "is" "white" "+")
((triple2) -> (rule1 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is not white.
False
2
inv-proof
[(((triple2) -> rule1))]
("Fiona" "is" "white" "-")
((triple2) -> (rule1 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is kind.
True
3
proof
[(((((triple2) -> rule1)) -> rule2))]
("Fiona" "is" "kind" "+")
((((triple2) -> (rule1 % int2))) -> (rule2 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is not kind.
False
3
inv-proof
[(((((triple2) -> rule1)) -> rule2))]
("Fiona" "is" "kind" "-")
((((triple2) -> (rule1 % int2))) -> (rule2 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Gary is not kind.
Unknown
inv-rconc
[@2: Gary is kind.[CWA. Example of deepest failure = (rule2 <- rule1 <- FAIL)]]
("Gary" "is" "kind" "-")
Gary is white.
Unknown
rconc
[@1: Gary is white.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "white" "+")
Erin is not kind.
Unknown
inv-rconc
[@1: Erin is kind.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Erin" "is" "kind" "-")
Fiona is young.
Unknown
random
[@0: Fiona is young.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "young" "+")
Erin is not big.
Unknown
inv-random
[@0: Erin is big.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "big" "-")
Erin is green.
Unknown
random
[@0: Erin is green.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "green" "+")
@0: Erin is not white.[(triple1)] Fiona is blue.[(triple2)] Gary is nice.[(triple3)] @1: Fiona is white.[(((triple2) -> rule1))] @2: Fiona is kind.[(((((triple2) -> rule1)) -> rule2))]
Erin is not white.
("Erin" "is" "white" "-")
triple1
Fiona is blue.
("Fiona" "is" "blue" "+")
triple2
Gary is nice.
("Gary" "is" "nice" "+")
triple3
Fiona is white.
("Fiona" "is" "white" "+")
((triple2) -> (rule1 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
((((triple2) -> (rule1 % int2))) -> (rule2 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2