Fiona is white. If Fiona is white then Fiona is furry. All green, red things are nice. White, rough things are green. All blue, nice things are white. If Fiona is white then Fiona is red. Rough things are red.
Fiona is white.
("Fiona" "is" "white" "+")
If Fiona is white then Fiona is furry.
((("Fiona" "is" "white" "+")) -> ("Fiona" "is" "furry" "+"))
All green, red things are nice.
((("something" "is" "green" "+") ("something" "is" "red" "+")) -> ("something" "is" "nice" "+"))
White, rough things are green.
((("something" "is" "white" "+") ("something" "is" "rough" "+")) -> ("something" "is" "green" "+"))
All blue, nice things are white.
((("something" "is" "blue" "+") ("something" "is" "nice" "+")) -> ("something" "is" "white" "+"))
If Fiona is white then Fiona is red.
((("Fiona" "is" "white" "+")) -> ("Fiona" "is" "red" "+"))
Rough things are red.
((("something" "is" "rough" "+")) -> ("something" "is" "red" "+"))
Fiona is white.
True
1
proof
[(triple1)]
("Fiona" "is" "white" "+")
triple1
Fiona is not white.
False
1
inv-proof
[(triple1)]
("Fiona" "is" "white" "-")
triple1
Fiona is red.
True
2
proof
[(((triple1) -> rule5))]
("Fiona" "is" "red" "+")
((triple1) -> (rule5 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is not furry.
False
2
inv-proof
[(((triple1) -> rule1))]
("Fiona" "is" "furry" "-")
((triple1) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is not green.
Unknown
inv-rconc
[@1: Fiona is green.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Fiona" "is" "green" "-")
Fiona is nice.
Unknown
rconc
[@2: Fiona is nice.[CWA. Example of deepest failure = (rule2 <- rule3 <- FAIL)]]
("Fiona" "is" "nice" "+")
Fiona is not rough.
Unknown
inv-random
[@0: Fiona is rough.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "rough" "-")
Fiona is blue.
Unknown
random
[@0: Fiona is blue.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "blue" "+")
@0: Fiona is white.[(triple1)] @1: Fiona is furry.[(((triple1) -> rule1))] Fiona is red.[(((triple1) -> rule5))]
Fiona is white.
("Fiona" "is" "white" "+")
triple1
Fiona is furry.
("Fiona" "is" "furry" "+")
((triple1) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
((triple1) -> (rule5 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1