Erin is furry. Fiona is white. Fiona is young. All furry things are young. If Fiona is kind then Fiona is white. Young things are kind. If Erin is kind then Erin is cold. All white, cold things are green. If Erin is kind and Erin is not young then Erin is green. All kind, green things are cold. Quiet, green things are cold.
Erin is furry.
("Erin" "is" "furry" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Fiona is young.
("Fiona" "is" "young" "+")
All furry things are young.
((("something" "is" "furry" "+")) -> ("something" "is" "young" "+"))
If Fiona is kind then Fiona is white.
((("Fiona" "is" "kind" "+")) -> ("Fiona" "is" "white" "+"))
Young things are kind.
((("something" "is" "young" "+")) -> ("something" "is" "kind" "+"))
If Erin is kind then Erin is cold.
((("Erin" "is" "kind" "+")) -> ("Erin" "is" "cold" "+"))
All white, cold things are green.
((("something" "is" "white" "+") ("something" "is" "cold" "+")) -> ("something" "is" "green" "+"))
If Erin is kind and Erin is not young then Erin is green.
((("Erin" "is" "kind" "+") ("Erin" "is" "young" "~")) -> ("Erin" "is" "green" "+"))
All kind, green things are cold.
((("something" "is" "kind" "+") ("something" "is" "green" "+")) -> ("something" "is" "cold" "+"))
Quiet, green things are cold.
((("something" "is" "quiet" "+") ("something" "is" "green" "+")) -> ("something" "is" "cold" "+"))
Fiona is young.
True
1
proof
[(triple3)]
("Fiona" "is" "young" "+")
triple3
Erin is not furry.
False
1
inv-proof
[(triple1)]
("Erin" "is" "furry" "-")
triple1
Erin is young.
True
2
proof
[(((triple1) -> rule1))]
("Erin" "is" "young" "+")
((triple1) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Fiona is not kind.
False
2
inv-proof
[(((triple3) -> rule3))]
("Fiona" "is" "kind" "-")
((triple3) -> (rule3 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Erin is kind.
True
3
proof
[(((((triple1) -> rule1)) -> rule3))]
("Erin" "is" "kind" "+")
((((triple1) -> (rule1 % int2))) -> (rule3 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is not kind.
False
3
inv-proof
[(((((triple1) -> rule1)) -> rule3))]
("Erin" "is" "kind" "-")
((((triple1) -> (rule1 % int2))) -> (rule3 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is cold.
True
4
proof
[(((((((triple1) -> rule1)) -> rule3)) -> rule4))]
("Erin" "is" "cold" "+")
((((((triple1) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is not cold.
False
4
inv-proof
[(((((((triple1) -> rule1)) -> rule3)) -> rule4))]
("Erin" "is" "cold" "-")
((((((triple1) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is not green.
Unknown
inv-rconc
[@1: Erin is green.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Erin" "is" "green" "-")
Fiona is cold.
Unknown
rconc
[@3: Fiona is cold.[CWA. Example of deepest failure = (rule7 <- rule5 <- rule8 <- FAIL)]]
("Fiona" "is" "cold" "+")
Fiona is not green.
Unknown
inv-rconc
[@2: Fiona is green.[CWA. Example of deepest failure = (rule5 <- rule7 <- FAIL)]]
("Fiona" "is" "green" "-")
Fiona is furry.
Unknown
random
[@0: Fiona is furry.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "furry" "+")
Erin is not quiet.
Unknown
inv-random
[@0: Erin is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "quiet" "-")
Erin is white.
Unknown
random
[@0: Erin is white.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "white" "+")
@0: Erin is furry.[(triple1)] Fiona is white.[(triple2 OR ((((triple3) -> rule3)) -> rule2))] Fiona is young.[(triple3)] @1: Erin is young.[(((triple1) -> rule1))] Fiona is kind.[(((triple3) -> rule3))] @2: Erin is kind.[(((((triple1) -> rule1)) -> rule3))] @3: Erin is cold.[(((((((triple1) -> rule1)) -> rule3)) -> rule4))]
Erin is furry.
("Erin" "is" "furry" "+")
triple1
Fiona is white.
("Fiona" "is" "white" "+")
triple2
((((triple3) -> (rule3 % int2))) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
triple3
Erin is young.
("Erin" "is" "young" "+")
((triple1) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
((triple3) -> (rule3 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
((((triple1) -> (rule1 % int2))) -> (rule3 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
((((((triple1) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3