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