Dave is red. Erin is rough. Fiona is rough. If Dave is red and Dave is green then Dave is young. If someone is rough and blue then they are green.
Dave is red.
("Dave" "is" "red" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
If Dave is red and Dave is green then Dave is young.
((("Dave" "is" "red" "+") ("Dave" "is" "green" "+")) -> ("Dave" "is" "young" "+"))
If someone is rough and blue then they are green.
((("someone" "is" "rough" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "green" "+"))
Fiona is rough.
True
1
proof
[(triple3)]
("Fiona" "is" "rough" "+")
triple3
Fiona is not rough.
False
1
inv-proof
[(triple3)]
("Fiona" "is" "rough" "-")
triple3
Fiona is not green.
Unknown
inv-rconc
[@1: Fiona is green.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fiona" "is" "green" "-")
Fiona is blue.
Unknown
random
[@0: Fiona is blue.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "blue" "+")
@0: Dave is red.[(triple1)] Erin is rough.[(triple2)] Fiona is rough.[(triple3)]
Dave is red.
("Dave" "is" "red" "+")
triple1
Erin is rough.
("Erin" "is" "rough" "+")
triple2
Fiona is rough.
("Fiona" "is" "rough" "+")
triple3