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