Anne is quiet. Fiona is green. All cold things are white. If something is cold and green then it is furry. Cold, furry things are big. All green things are cold. If Fiona is white and Fiona is young then Fiona is green. If something is young and white then it is green.
Anne is quiet.
("Anne" "is" "quiet" "+")
Fiona is green.
("Fiona" "is" "green" "+")
All cold things are white.
((("something" "is" "cold" "+")) -> ("something" "is" "white" "+"))
If something is cold and green then it is furry.
((("something" "is" "cold" "+") ("something" "is" "green" "+")) -> ("something" "is" "furry" "+"))
Cold, furry things are big.
((("something" "is" "cold" "+") ("something" "is" "furry" "+")) -> ("something" "is" "big" "+"))
All green things are cold.
((("something" "is" "green" "+")) -> ("something" "is" "cold" "+"))
If Fiona is white and Fiona is young then Fiona is green.
((("Fiona" "is" "white" "+") ("Fiona" "is" "young" "+")) -> ("Fiona" "is" "green" "+"))
If something is young and white then it is green.
((("something" "is" "young" "+") ("something" "is" "white" "+")) -> ("something" "is" "green" "+"))
Fiona is green.
True
1
proof
[(triple2)]
("Fiona" "is" "green" "+")
triple2
Anne is not quiet.
False
1
inv-proof
[(triple1)]
("Anne" "is" "quiet" "-")
triple1
Fiona is cold.
True
2
proof
[(((triple2) -> rule4))]
("Fiona" "is" "cold" "+")
((triple2) -> (rule4 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is not cold.
False
2
inv-proof
[(((triple2) -> rule4))]
("Fiona" "is" "cold" "-")
((triple2) -> (rule4 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is white.
True
3
proof
[(((((triple2) -> rule4)) -> rule1))]
("Fiona" "is" "white" "+")
((((triple2) -> (rule4 % int2))) -> (rule1 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is not white.
False
3
inv-proof
[(((((triple2) -> rule4)) -> rule1))]
("Fiona" "is" "white" "-")
((((triple2) -> (rule4 % int2))) -> (rule1 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is big.
True
7
proof
[(((((triple2) -> rule4) ((((triple2) -> rule4) triple2) -> rule2)) -> rule3))]
("Fiona" "is" "big" "+")
((((triple2) -> (rule4 % int3)) ((((triple2) -> (rule4 % int3)) triple2) -> (rule2 % int2))) -> (rule3 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is not big.
False
7
inv-proof
[(((((triple2) -> rule4) ((((triple2) -> rule4) triple2) -> rule2)) -> rule3))]
("Fiona" "is" "big" "-")
((((triple2) -> (rule4 % int3)) ((((triple2) -> (rule4 % int3)) triple2) -> (rule2 % int2))) -> (rule3 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Anne is not cold.
Unknown
inv-rconc
[@2: Anne is cold.[CWA. Example of deepest failure = (rule4 <- rule6 <- FAIL)]]
("Anne" "is" "cold" "-")
Anne is green.
Unknown
rconc
[@1: Anne is green.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Anne" "is" "green" "+")
Anne is not furry.
Unknown
inv-rconc
[@2: Anne is furry.[CWA. Example of deepest failure = (rule2 <- rule6 <- FAIL)]]
("Anne" "is" "furry" "-")
Anne is big.
Unknown
rconc
[@3: Anne is big.[CWA. Example of deepest failure = (rule3 <- rule4 <- rule6 <- FAIL)]]
("Anne" "is" "big" "+")
Fiona is not young.
Unknown
inv-random
[@0: Fiona is young.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "young" "-")
Anne is young.
Unknown
random
[@0: Anne is young.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "young" "+")
@0: Anne is quiet.[(triple1)] Fiona is green.[(triple2)] @1: Fiona is cold.[(((triple2) -> rule4))] @2: Fiona is furry.[(((((triple2) -> rule4) triple2) -> rule2))] Fiona is white.[(((((triple2) -> rule4)) -> rule1))] @3: Fiona is big.[(((((triple2) -> rule4) ((((triple2) -> rule4) triple2) -> rule2)) -> rule3))]
Anne is quiet.
("Anne" "is" "quiet" "+")
triple1
Fiona is green.
("Fiona" "is" "green" "+")
triple2
Fiona is cold.
("Fiona" "is" "cold" "+")
((triple2) -> (rule4 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
((((triple2) -> (rule4 % int2)) triple2) -> (rule2 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
((((triple2) -> (rule4 % int2))) -> (rule1 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
((((triple2) -> (rule4 % int3)) ((((triple2) -> (rule4 % int3)) triple2) -> (rule2 % int2))) -> (rule3 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3