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