Erin is furry. Erin is green. Erin is not red. Erin is white. Fiona is blue. Fiona is not furry. Fiona is green. If Fiona is young then Fiona is white. All green things are cold. If something is cold then it is not young.
Erin is furry.
("Erin" "is" "furry" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is not red.
("Erin" "is" "red" "-")
Erin is white.
("Erin" "is" "white" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is not furry.
("Fiona" "is" "furry" "-")
Fiona is green.
("Fiona" "is" "green" "+")
If Fiona is young then Fiona is white.
((("Fiona" "is" "young" "+")) -> ("Fiona" "is" "white" "+"))
All green things are cold.
((("something" "is" "green" "+")) -> ("something" "is" "cold" "+"))
If something is cold then it is not young.
((("something" "is" "cold" "+")) -> ("something" "is" "young" "-"))
Erin is green.
True
1
proof
[(triple2)]
("Erin" "is" "green" "+")
triple2
Fiona is not blue.
False
1
inv-proof
[(triple5)]
("Fiona" "is" "blue" "-")
triple5
Erin is cold.
True
2
proof
[(((triple2) -> rule2))]
("Erin" "is" "cold" "+")
((triple2) -> (rule2 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is not cold.
False
2
inv-proof
[(((triple2) -> rule2))]
("Erin" "is" "cold" "-")
((triple2) -> (rule2 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is not young.
True
3
proof
[(((((triple2) -> rule2)) -> rule3))]
("Erin" "is" "young" "-")
((((triple2) -> (rule2 % int2))) -> (rule3 % int1))
Erin is not young.
("Erin" "is" "young" "-")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Fiona is young.
False
3
inv-proof
[(((((triple7) -> rule2)) -> rule3))]
("Fiona" "is" "young" "+")
((((triple7) -> (rule2 % int2))) -> (rule3 % int1))
Fiona is not young.
("Fiona" "is" "young" "-")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is not white.
Unknown
inv-rconc
[@1: Fiona is white.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fiona" "is" "white" "-")
Fiona is red.
Unknown
random
[@0: Fiona is red.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "red" "+")
@0: Erin is furry.[(triple1)] Erin is green.[(triple2)] Erin is not red.[(triple3)] Erin is white.[(triple4)] Fiona is blue.[(triple5)] Fiona is green.[(triple7)] Fiona is not furry.[(triple6)] @1: Erin is cold.[(((triple2) -> rule2))] Fiona is cold.[(((triple7) -> rule2))] @2: Erin is not young.[(((((triple2) -> rule2)) -> rule3))] Fiona is not young.[(((((triple7) -> rule2)) -> rule3))]
Erin is furry.
("Erin" "is" "furry" "+")
triple1
Erin is green.
("Erin" "is" "green" "+")
triple2
Erin is not red.
("Erin" "is" "red" "-")
triple3
Erin is white.
("Erin" "is" "white" "+")
triple4
Fiona is blue.
("Fiona" "is" "blue" "+")
triple5
Fiona is green.
("Fiona" "is" "green" "+")
triple7
Fiona is not furry.
("Fiona" "is" "furry" "-")
triple6
Erin is cold.
("Erin" "is" "cold" "+")
((triple2) -> (rule2 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
((triple7) -> (rule2 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Erin is not young.
("Erin" "is" "young" "-")
((((triple2) -> (rule2 % int2))) -> (rule3 % int1))
Erin is not young.
("Erin" "is" "young" "-")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Fiona is not young.
("Fiona" "is" "young" "-")
((((triple7) -> (rule2 % int2))) -> (rule3 % int1))
Fiona is not young.
("Fiona" "is" "young" "-")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2