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