Fiona is furry. Smart things are cold. Smart, blue things are green. Kind, blue things are green. If Fiona is furry and Fiona is smart then Fiona is blue. If Fiona is blue and Fiona is cold then Fiona is kind. All blue things are green. If something is furry then it is green. If Fiona is green then Fiona is rough.
Fiona is furry.
("Fiona" "is" "furry" "+")
Smart things are cold.
((("something" "is" "smart" "+")) -> ("something" "is" "cold" "+"))
Smart, blue things are green.
((("something" "is" "smart" "+") ("something" "is" "blue" "+")) -> ("something" "is" "green" "+"))
Kind, blue things are green.
((("something" "is" "kind" "+") ("something" "is" "blue" "+")) -> ("something" "is" "green" "+"))
If Fiona is furry and Fiona is smart then Fiona is blue.
((("Fiona" "is" "furry" "+") ("Fiona" "is" "smart" "+")) -> ("Fiona" "is" "blue" "+"))
If Fiona is blue and Fiona is cold then Fiona is kind.
((("Fiona" "is" "blue" "+") ("Fiona" "is" "cold" "+")) -> ("Fiona" "is" "kind" "+"))
All blue things are green.
((("something" "is" "blue" "+")) -> ("something" "is" "green" "+"))
If something is furry then it is green.
((("something" "is" "furry" "+")) -> ("something" "is" "green" "+"))
If Fiona is green then Fiona is rough.
((("Fiona" "is" "green" "+")) -> ("Fiona" "is" "rough" "+"))
Fiona is furry.
True
1
proof
[(triple1)]
("Fiona" "is" "furry" "+")
triple1
Fiona is not furry.
False
1
inv-proof
[(triple1)]
("Fiona" "is" "furry" "-")
triple1
Fiona is green.
True
2
proof
[(((triple1) -> rule7))]
("Fiona" "is" "green" "+")
((triple1) -> (rule7 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is not green.
False
2
inv-proof
[(((triple1) -> rule7))]
("Fiona" "is" "green" "-")
((triple1) -> (rule7 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is not blue.
Unknown
inv-rconc
[@1: Fiona is blue.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Fiona" "is" "blue" "-")
Fiona is kind.
Unknown
rconc
[@2: Fiona is kind.[CWA. Example of deepest failure = (rule5 <- rule4 <- FAIL)]]
("Fiona" "is" "kind" "+")
@0: Fiona is furry.[(triple1)] @1: Fiona is green.[(((triple1) -> rule7))] @2: Fiona is rough.[(((((triple1) -> rule7)) -> rule8))]
Fiona is furry.
("Fiona" "is" "furry" "+")
triple1
Fiona is green.
("Fiona" "is" "green" "+")
((triple1) -> (rule7 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
((((triple1) -> (rule7 % int2))) -> (rule8 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2