Fiona is round. Gary is quiet. Smart people are cold. If Gary is green and Gary is furry then Gary is quiet. Furry, white people are smart. Quiet people are furry. Green people are cold. If someone is cold then they are smart. All quiet, furry people are round. All white, cold people are green.
Fiona is round.
("Fiona" "is" "round" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Smart people are cold.
((("someone" "is" "smart" "+")) -> ("someone" "is" "cold" "+"))
If Gary is green and Gary is furry then Gary is quiet.
((("Gary" "is" "green" "+") ("Gary" "is" "furry" "+")) -> ("Gary" "is" "quiet" "+"))
Furry, white people are smart.
((("someone" "is" "furry" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "smart" "+"))
Quiet people are furry.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "furry" "+"))
Green people are cold.
((("someone" "is" "green" "+")) -> ("someone" "is" "cold" "+"))
If someone is cold then they are smart.
((("someone" "is" "cold" "+")) -> ("someone" "is" "smart" "+"))
All quiet, furry people are round.
((("someone" "is" "quiet" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "round" "+"))
All white, cold people are green.
((("someone" "is" "white" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "green" "+"))
Fiona is round.
True
1
proof
[(triple1)]
("Fiona" "is" "round" "+")
triple1
Fiona is not round.
False
1
inv-proof
[(triple1)]
("Fiona" "is" "round" "-")
triple1
Gary is furry.
True
2
proof
[(((triple2) -> rule4))]
("Gary" "is" "furry" "+")
((triple2) -> (rule4 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is not furry.
False
2
inv-proof
[(((triple2) -> rule4))]
("Gary" "is" "furry" "-")
((triple2) -> (rule4 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is round.
True
4
proof
[(((triple2 ((triple2) -> rule4)) -> rule7))]
("Gary" "is" "round" "+")
((triple2 ((triple2) -> (rule4 % int2))) -> (rule7 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is not round.
False
4
inv-proof
[(((triple2 ((triple2) -> rule4)) -> rule7))]
("Gary" "is" "round" "-")
((triple2 ((triple2) -> (rule4 % int2))) -> (rule7 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is not cold.
Unknown
inv-rconc
[@4: Gary is cold.[CWA. Example of deepest failure = (rule1 <- rule6 <- rule5 <- rule8 <- FAIL)]]
("Gary" "is" "cold" "-")
Gary is smart.
Unknown
rconc
[@3: Gary is smart.[CWA. Example of deepest failure = (rule6 <- rule1 <- rule3 <- FAIL)]]
("Gary" "is" "smart" "+")
Fiona is not furry.
Unknown
inv-rconc
[@1: Fiona is furry.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Fiona" "is" "furry" "-")
Fiona is quiet.
Unknown
random
[@0: Fiona is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "quiet" "+")
Fiona is not white.
Unknown
inv-random
[@0: Fiona is white.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "white" "-")
Gary is white.
Unknown
random
[@0: Gary is white.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "white" "+")
@0: Fiona is round.[(triple1)] Gary is quiet.[(triple2)] @1: Gary is furry.[(((triple2) -> rule4))] @2: Gary is round.[(((triple2 ((triple2) -> rule4)) -> rule7))]
Fiona is round.
("Fiona" "is" "round" "+")
triple1
Gary is quiet.
("Gary" "is" "quiet" "+")
triple2
Gary is furry.
("Gary" "is" "furry" "+")
((triple2) -> (rule4 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
((triple2 ((triple2) -> (rule4 % int2))) -> (rule7 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2