Dave is nice. Dave is rough. Fiona is nice. All furry, big things are nice. Furry things are white. All blue things are nice. If something is big then it is young. If something is furry and nice then it is white. Big things are nice. If something is white then it is big. If something is young then it is nice.
Dave is nice.
("Dave" "is" "nice" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
All furry, big things are nice.
((("something" "is" "furry" "+") ("something" "is" "big" "+")) -> ("something" "is" "nice" "+"))
Furry things are white.
((("something" "is" "furry" "+")) -> ("something" "is" "white" "+"))
All blue things are nice.
((("something" "is" "blue" "+")) -> ("something" "is" "nice" "+"))
If something is big then it is young.
((("something" "is" "big" "+")) -> ("something" "is" "young" "+"))
If something is furry and nice then it is white.
((("something" "is" "furry" "+") ("something" "is" "nice" "+")) -> ("something" "is" "white" "+"))
Big things are nice.
((("something" "is" "big" "+")) -> ("something" "is" "nice" "+"))
If something is white then it is big.
((("something" "is" "white" "+")) -> ("something" "is" "big" "+"))
If something is young then it is nice.
((("something" "is" "young" "+")) -> ("something" "is" "nice" "+"))
Fiona is nice.
True
1
proof
[(triple3)]
("Fiona" "is" "nice" "+")
triple3
Dave is not rough.
False
1
inv-proof
[(triple2)]
("Dave" "is" "rough" "-")
triple2
Dave is not white.
Unknown
inv-rconc
[@1: Dave is white.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "white" "-")
Dave is blue.
Unknown
random
[@0: Dave is blue.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "blue" "+")
@0: Dave is nice.[(triple1)] Dave is rough.[(triple2)] Fiona is nice.[(triple3)]
Dave is nice.
("Dave" "is" "nice" "+")
triple1
Dave is rough.
("Dave" "is" "rough" "+")
triple2
Fiona is nice.
("Fiona" "is" "nice" "+")
triple3