Dave is young. Fiona is not big. Harry is quiet. All big people are nice. If Fiona is young and Fiona is white then Fiona is red.
Dave is young.
("Dave" "is" "young" "+")
Fiona is not big.
("Fiona" "is" "big" "-")
Harry is quiet.
("Harry" "is" "quiet" "+")
All big people are nice.
((("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
If Fiona is young and Fiona is white then Fiona is red.
((("Fiona" "is" "young" "+") ("Fiona" "is" "white" "+")) -> ("Fiona" "is" "red" "+"))
Dave is young.
True
1
proof
[(triple1)]
("Dave" "is" "young" "+")
triple1
Fiona is big.
False
1
inv-proof
[(triple2)]
("Fiona" "is" "big" "+")
triple2
Dave is not nice.
Unknown
inv-rconc
[@1: Dave is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "nice" "-")
Dave is red.
Unknown
random
[@0: Dave is red.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "red" "+")
@0: Dave is young.[(triple1)] Fiona is not big.[(triple2)] Harry is quiet.[(triple3)]
Dave is young.
("Dave" "is" "young" "+")
triple1
Fiona is not big.
("Fiona" "is" "big" "-")
triple2
Harry is quiet.
("Harry" "is" "quiet" "+")
triple3