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