Dave is kind. Fiona is white. If Fiona is white and Fiona is kind then Fiona is smart. If Dave is young then Dave is big. If Fiona is rough and Fiona is young then Fiona is white.
Dave is kind.
("Dave" "is" "kind" "+")
Fiona is white.
("Fiona" "is" "white" "+")
If Fiona is white and Fiona is kind then Fiona is smart.
((("Fiona" "is" "white" "+") ("Fiona" "is" "kind" "+")) -> ("Fiona" "is" "smart" "+"))
If Dave is young then Dave is big.
((("Dave" "is" "young" "+")) -> ("Dave" "is" "big" "+"))
If Fiona is rough and Fiona is young then Fiona is white.
((("Fiona" "is" "rough" "+") ("Fiona" "is" "young" "+")) -> ("Fiona" "is" "white" "+"))
Fiona is white.
True
1
proof
[(triple2)]
("Fiona" "is" "white" "+")
triple2
Dave is not kind.
False
1
inv-proof
[(triple1)]
("Dave" "is" "kind" "-")
triple1
Dave is not big.
Unknown
inv-rconc
[@1: Dave is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "big" "-")
Fiona is young.
Unknown
random
[@0: Fiona is young.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "young" "+")
@0: Dave is kind.[(triple1)] Fiona is white.[(triple2)]
Dave is kind.
("Dave" "is" "kind" "+")
triple1
Fiona is white.
("Fiona" "is" "white" "+")
triple2