Fiona is furry. Fiona is not kind. Fiona is round. If Fiona is round then Fiona is white. If someone is green and red then they are white. If Fiona is furry and Fiona is not round then Fiona is not green. If someone is kind and not white then they are cold. If Fiona is green and Fiona is not furry then Fiona is not cold. If Fiona is round and Fiona is not white then Fiona is cold.
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is not kind.
("Fiona" "is" "kind" "-")
Fiona is round.
("Fiona" "is" "round" "+")
If Fiona is round then Fiona is white.
((("Fiona" "is" "round" "+")) -> ("Fiona" "is" "white" "+"))
If someone is green and red then they are white.
((("someone" "is" "green" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "white" "+"))
If Fiona is furry and Fiona is not round then Fiona is not green.
((("Fiona" "is" "furry" "+") ("Fiona" "is" "round" "~")) -> ("Fiona" "is" "green" "-"))
If someone is kind and not white then they are cold.
((("someone" "is" "kind" "+") ("someone" "is" "white" "~")) -> ("someone" "is" "cold" "+"))
If Fiona is green and Fiona is not furry then Fiona is not cold.
((("Fiona" "is" "green" "+") ("Fiona" "is" "furry" "~")) -> ("Fiona" "is" "cold" "-"))
If Fiona is round and Fiona is not white then Fiona is cold.
((("Fiona" "is" "round" "+") ("Fiona" "is" "white" "~")) -> ("Fiona" "is" "cold" "+"))
Fiona is round.
True
1
proof
[(triple3)]
("Fiona" "is" "round" "+")
triple3
Fiona is not furry.
False
1
inv-proof
[(triple1)]
("Fiona" "is" "furry" "-")
triple1
Fiona is not cold.
Unknown
inv-rconc
[@1: Fiona is cold.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Fiona" "is" "cold" "-")
Fiona is green.
Unknown
random
[@0: Fiona is green.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "green" "+")
@0: Fiona is furry.[(triple1)] Fiona is not kind.[(triple2)] Fiona is round.[(triple3)] @1: Fiona is white.[(((triple3) -> rule1))]
Fiona is furry.
("Fiona" "is" "furry" "+")
triple1
Fiona is not kind.
("Fiona" "is" "kind" "-")
triple2
Fiona is round.
("Fiona" "is" "round" "+")
triple3
Fiona is white.
("Fiona" "is" "white" "+")
((triple3) -> (rule1 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1