Erin is big. Fiona is furry. Young things are white. Big things are kind. Kind, white things are furry. If something is kind then it is white. All white, blue things are smart. If something is smart then it is blue. All furry things are kind. White things are furry.
Erin is big.
("Erin" "is" "big" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Young things are white.
((("something" "is" "young" "+")) -> ("something" "is" "white" "+"))
Big things are kind.
((("something" "is" "big" "+")) -> ("something" "is" "kind" "+"))
Kind, white things are furry.
((("something" "is" "kind" "+") ("something" "is" "white" "+")) -> ("something" "is" "furry" "+"))
If something is kind then it is white.
((("something" "is" "kind" "+")) -> ("something" "is" "white" "+"))
All white, blue things are smart.
((("something" "is" "white" "+") ("something" "is" "blue" "+")) -> ("something" "is" "smart" "+"))
If something is smart then it is blue.
((("something" "is" "smart" "+")) -> ("something" "is" "blue" "+"))
All furry things are kind.
((("something" "is" "furry" "+")) -> ("something" "is" "kind" "+"))
White things are furry.
((("something" "is" "white" "+")) -> ("something" "is" "furry" "+"))
Fiona is furry.
True
1
proof
[(triple2)]
("Fiona" "is" "furry" "+")
triple2
Fiona is not furry.
False
1
inv-proof
[(triple2)]
("Fiona" "is" "furry" "-")
triple2
Erin is kind.
True
2
proof
[(((triple1) -> rule2))]
("Erin" "is" "kind" "+")
((triple1) -> (rule2 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Fiona is not kind.
False
2
inv-proof
[(((triple2) -> rule7))]
("Fiona" "is" "kind" "-")
((triple2) -> (rule7 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is white.
True
3
proof
[(((((triple2) -> rule7)) -> rule4))]
("Fiona" "is" "white" "+")
((((triple2) -> (rule7 % int2))) -> (rule4 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Erin is not white.
False
3
inv-proof
[(((((triple1) -> rule2)) -> rule4))]
("Erin" "is" "white" "-")
((((triple1) -> (rule2 % int2))) -> (rule4 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is furry.
True
4
proof
[(((((((triple1) -> rule2)) -> rule4)) -> rule8) OR ((((triple1) -> rule2) ((((triple1) -> rule2)) -> rule4)) -> rule3))]
("Erin" "is" "furry" "+")
((((((triple1) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
((((triple1) -> (rule2 % int3)) ((((triple1) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
Erin is not furry.
False
4
inv-proof
[(((((((triple1) -> rule2)) -> rule4)) -> rule8) OR ((((triple1) -> rule2) ((((triple1) -> rule2)) -> rule4)) -> rule3))]
("Erin" "is" "furry" "-")
((((((triple1) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
((((triple1) -> (rule2 % int3)) ((((triple1) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
Erin is not blue.
Unknown
inv-rconc
[@2: Erin is blue.[CWA. Example of deepest failure = (rule6 <- rule5 <- FAIL)]]
("Erin" "is" "blue" "-")
Fiona is blue.
Unknown
rconc
[@2: Fiona is blue.[CWA. Example of deepest failure = (rule6 <- rule5 <- FAIL)]]
("Fiona" "is" "blue" "+")
Fiona is not smart.
Unknown
inv-rconc
[@2: Fiona is smart.[CWA. Example of deepest failure = (rule5 <- rule6 <- FAIL)]]
("Fiona" "is" "smart" "-")
Erin is smart.
Unknown
rconc
[@2: Erin is smart.[CWA. Example of deepest failure = (rule5 <- rule6 <- FAIL)]]
("Erin" "is" "smart" "+")
Fiona is not young.
Unknown
inv-random
[@0: Fiona is young.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "young" "-")
Fiona is big.
Unknown
random
[@0: Fiona is big.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "big" "+")
@0: Erin is big.[(triple1)] Fiona is furry.[(triple2)] @1: Erin is kind.[(((triple1) -> rule2))] Fiona is kind.[(((triple2) -> rule7))] @2: Erin is white.[(((((triple1) -> rule2)) -> rule4))] Fiona is white.[(((((triple2) -> rule7)) -> rule4))] @3: Erin is furry.[(((((((triple1) -> rule2)) -> rule4)) -> rule8) OR ((((triple1) -> rule2) ((((triple1) -> rule2)) -> rule4)) -> rule3))]
Erin is big.
("Erin" "is" "big" "+")
triple1
Fiona is furry.
("Fiona" "is" "furry" "+")
triple2
Erin is kind.
("Erin" "is" "kind" "+")
((triple1) -> (rule2 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
((triple2) -> (rule7 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
((((triple1) -> (rule2 % int2))) -> (rule4 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
((((triple2) -> (rule7 % int2))) -> (rule4 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
((((((triple1) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
((((triple1) -> (rule2 % int3)) ((((triple1) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3