Fiona is big. Fiona is not cold. Fiona is quiet. All big, cold things are rough. If Fiona is big and Fiona is not round then Fiona is white. If something is rough and not quiet then it is cold.
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is not cold.
("Fiona" "is" "cold" "-")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
All big, cold things are rough.
((("something" "is" "big" "+") ("something" "is" "cold" "+")) -> ("something" "is" "rough" "+"))
If Fiona is big and Fiona is not round then Fiona is white.
((("Fiona" "is" "big" "+") ("Fiona" "is" "round" "~")) -> ("Fiona" "is" "white" "+"))
If something is rough and not quiet then it is cold.
((("something" "is" "rough" "+") ("something" "is" "quiet" "~")) -> ("something" "is" "cold" "+"))
Fiona is quiet.
True
1
proof
[(triple3)]
("Fiona" "is" "quiet" "+")
triple3
Fiona is cold.
False
1
inv-proof
[(triple2)]
("Fiona" "is" "cold" "+")
triple2
Fiona is not rough.
Unknown
inv-rconc
[@1: Fiona is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fiona" "is" "rough" "-")
Fiona is round.
Unknown
random
[@0: Fiona is round.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "round" "+")
@0: Fiona is big.[(triple1)] Fiona is not cold.[(triple2)] Fiona is quiet.[(triple3)]
Fiona is big.
("Fiona" "is" "big" "+")
triple1
Fiona is not cold.
("Fiona" "is" "cold" "-")
triple2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple3