Fiona is cold. Fiona is furry. Fiona is green. If someone is smart then they are green. If Fiona is smart then Fiona is quiet.
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is green.
("Fiona" "is" "green" "+")
If someone is smart then they are green.
((("someone" "is" "smart" "+")) -> ("someone" "is" "green" "+"))
If Fiona is smart then Fiona is quiet.
((("Fiona" "is" "smart" "+")) -> ("Fiona" "is" "quiet" "+"))
Fiona is furry.
True
1
proof
[(triple2)]
("Fiona" "is" "furry" "+")
triple2
Fiona is not green.
False
1
inv-proof
[(triple3)]
("Fiona" "is" "green" "-")
triple3
Fiona is not quiet.
Unknown
inv-rconc
[@1: Fiona is quiet.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fiona" "is" "quiet" "-")
Fiona is nice.
Unknown
random
[@0: Fiona is nice.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "nice" "+")
@0: Fiona is cold.[(triple1)] Fiona is furry.[(triple2)] Fiona is green.[(triple3)]
Fiona is cold.
("Fiona" "is" "cold" "+")
triple1
Fiona is furry.
("Fiona" "is" "furry" "+")
triple2
Fiona is green.
("Fiona" "is" "green" "+")
triple3