Fiona is white. Gary is quiet. All quiet, rough things are cold. If something is furry then it is cold. If something is quiet then it is furry. White, green things are furry. Green, furry things are rough. All quiet, rough things are green.
Fiona is white.
("Fiona" "is" "white" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
All quiet, rough things are cold.
((("something" "is" "quiet" "+") ("something" "is" "rough" "+")) -> ("something" "is" "cold" "+"))
If something is furry then it is cold.
((("something" "is" "furry" "+")) -> ("something" "is" "cold" "+"))
If something is quiet then it is furry.
((("something" "is" "quiet" "+")) -> ("something" "is" "furry" "+"))
White, green things are furry.
((("something" "is" "white" "+") ("something" "is" "green" "+")) -> ("something" "is" "furry" "+"))
Green, furry things are rough.
((("something" "is" "green" "+") ("something" "is" "furry" "+")) -> ("something" "is" "rough" "+"))
All quiet, rough things are green.
((("something" "is" "quiet" "+") ("something" "is" "rough" "+")) -> ("something" "is" "green" "+"))
Gary is quiet.
True
1
proof
[(triple2)]
("Gary" "is" "quiet" "+")
triple2
Fiona is not white.
False
1
inv-proof
[(triple1)]
("Fiona" "is" "white" "-")
triple1
Gary is furry.
True
2
proof
[(((triple2) -> rule3))]
("Gary" "is" "furry" "+")
((triple2) -> (rule3 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is not furry.
False
2
inv-proof
[(((triple2) -> rule3))]
("Gary" "is" "furry" "-")
((triple2) -> (rule3 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is cold.
True
3
proof
[(((((triple2) -> rule3)) -> rule2))]
("Gary" "is" "cold" "+")
((((triple2) -> (rule3 % int2))) -> (rule2 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is not cold.
False
3
inv-proof
[(((((triple2) -> rule3)) -> rule2))]
("Gary" "is" "cold" "-")
((((triple2) -> (rule3 % int2))) -> (rule2 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Fiona is not rough.
Unknown
inv-rconc
[@2: Fiona is rough.[CWA. Example of deepest failure = (rule5 <- rule6 <- FAIL)]]
("Fiona" "is" "rough" "-")
Gary is green.
Unknown
rconc
[@2: Gary is green.[CWA. Example of deepest failure = (rule6 <- rule5 <- FAIL)]]
("Gary" "is" "green" "+")
Gary is not rough.
Unknown
inv-rconc
[@2: Gary is rough.[CWA. Example of deepest failure = (rule5 <- rule6 <- FAIL)]]
("Gary" "is" "rough" "-")
Gary is smart.
Unknown
random
[@0: Gary is smart.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "smart" "+")
Gary is not white.
Unknown
inv-random
[@0: Gary is white.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "white" "-")
Fiona is quiet.
Unknown
random
[@0: Fiona is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "quiet" "+")
@0: Fiona is white.[(triple1)] Gary is quiet.[(triple2)] @1: Gary is furry.[(((triple2) -> rule3))] @2: Gary is cold.[(((((triple2) -> rule3)) -> rule2))]
Fiona is white.
("Fiona" "is" "white" "+")
triple1
Gary is quiet.
("Gary" "is" "quiet" "+")
triple2
Gary is furry.
("Gary" "is" "furry" "+")
((triple2) -> (rule3 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
((((triple2) -> (rule3 % int2))) -> (rule2 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2