Erin is kind. Fiona is nice. Fiona is young. All white, cold things are young. If something is red then it is cold. Nice, young things are blue. All cold, red things are nice. If something is blue then it is red. Nice, red things are blue.
Erin is kind.
("Erin" "is" "kind" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is young.
("Fiona" "is" "young" "+")
All white, cold things are young.
((("something" "is" "white" "+") ("something" "is" "cold" "+")) -> ("something" "is" "young" "+"))
If something is red then it is cold.
((("something" "is" "red" "+")) -> ("something" "is" "cold" "+"))
Nice, young things are blue.
((("something" "is" "nice" "+") ("something" "is" "young" "+")) -> ("something" "is" "blue" "+"))
All cold, red things are nice.
((("something" "is" "cold" "+") ("something" "is" "red" "+")) -> ("something" "is" "nice" "+"))
If something is blue then it is red.
((("something" "is" "blue" "+")) -> ("something" "is" "red" "+"))
Nice, red things are blue.
((("something" "is" "nice" "+") ("something" "is" "red" "+")) -> ("something" "is" "blue" "+"))
Erin is kind.
True
1
proof
[(triple1)]
("Erin" "is" "kind" "+")
triple1
Fiona is not nice.
False
1
inv-proof
[(triple2)]
("Fiona" "is" "nice" "-")
triple2
Fiona is blue.
True
3
proof
[(((triple2 triple3) -> rule3))]
("Fiona" "is" "blue" "+")
((triple2 triple3) -> (rule3 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is not blue.
False
3
inv-proof
[(((triple2 triple3) -> rule3))]
("Fiona" "is" "blue" "-")
((triple2 triple3) -> (rule3 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is red.
True
4
proof
[(((((triple2 triple3) -> rule3)) -> rule5))]
("Fiona" "is" "red" "+")
((((triple2 triple3) -> (rule3 % int2))) -> (rule5 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is not red.
False
4
inv-proof
[(((((triple2 triple3) -> rule3)) -> rule5))]
("Fiona" "is" "red" "-")
((((triple2 triple3) -> (rule3 % int2))) -> (rule5 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Erin is not red.
Unknown
inv-rconc
[@3: Erin is red.[CWA. Example of deepest failure = (rule5 <- rule3 <- rule4 <- FAIL)]]
("Erin" "is" "red" "-")
Erin is nice.
Unknown
rconc
[@3: Erin is nice.[CWA. Example of deepest failure = (rule4 <- rule5 <- rule3 <- FAIL)]]
("Erin" "is" "nice" "+")
Erin is not cold.
Unknown
inv-rconc
[@4: Erin is cold.[CWA. Example of deepest failure = (rule2 <- rule5 <- rule3 <- rule4 <- FAIL)]]
("Erin" "is" "cold" "-")
Fiona is white.
Unknown
random
[@0: Fiona is white.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "white" "+")
Erin is not white.
Unknown
inv-random
[@0: Erin is white.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "white" "-")
Fiona is kind.
Unknown
random
[@0: Fiona is kind.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "kind" "+")
@0: Erin is kind.[(triple1)] Fiona is nice.[(triple2)] Fiona is young.[(triple3)] @1: Fiona is blue.[(((triple2 triple3) -> rule3))] @2: Fiona is red.[(((((triple2 triple3) -> rule3)) -> rule5))] @3: Fiona is cold.[(((((((triple2 triple3) -> rule3)) -> rule5)) -> rule2))]
Erin is kind.
("Erin" "is" "kind" "+")
triple1
Fiona is nice.
("Fiona" "is" "nice" "+")
triple2
Fiona is young.
("Fiona" "is" "young" "+")
triple3
Fiona is blue.
("Fiona" "is" "blue" "+")
((triple2 triple3) -> (rule3 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
((((triple2 triple3) -> (rule3 % int2))) -> (rule5 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
((((((triple2 triple3) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3