Harry is kind. Harry is not nice. Harry is not red. If something is blue then it is not young. If something is nice then it is red. If Harry is nice then Harry is quiet. If Harry is young and Harry is not quiet then Harry is big. If something is quiet then it is kind. All nice things are kind. If something is young and not nice then it is kind. If something is blue and not big then it is not kind.
Harry is kind.
("Harry" "is" "kind" "+")
Harry is not nice.
("Harry" "is" "nice" "-")
Harry is not red.
("Harry" "is" "red" "-")
If something is blue then it is not young.
((("something" "is" "blue" "+")) -> ("something" "is" "young" "-"))
If something is nice then it is red.
((("something" "is" "nice" "+")) -> ("something" "is" "red" "+"))
If Harry is nice then Harry is quiet.
((("Harry" "is" "nice" "+")) -> ("Harry" "is" "quiet" "+"))
If Harry is young and Harry is not quiet then Harry is big.
((("Harry" "is" "young" "+") ("Harry" "is" "quiet" "~")) -> ("Harry" "is" "big" "+"))
If something is quiet then it is kind.
((("something" "is" "quiet" "+")) -> ("something" "is" "kind" "+"))
All nice things are kind.
((("something" "is" "nice" "+")) -> ("something" "is" "kind" "+"))
If something is young and not nice then it is kind.
((("something" "is" "young" "+") ("something" "is" "nice" "~")) -> ("something" "is" "kind" "+"))
If something is blue and not big then it is not kind.
((("something" "is" "blue" "+") ("something" "is" "big" "~")) -> ("something" "is" "kind" "-"))
Harry is not red.
True
1
proof
[(triple3)]
("Harry" "is" "red" "-")
triple3
Harry is not kind.
False
1
inv-proof
[(triple1)]
("Harry" "is" "kind" "-")
triple1
Harry is not big.
Unknown
inv-rconc
[@1: Harry is big.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Harry" "is" "big" "-")
Harry is blue.
Unknown
random
[@0: Harry is blue.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "blue" "+")
@0: Harry is kind.[(triple1)] Harry is not nice.[(triple2)] Harry is not red.[(triple3)]
Harry is kind.
("Harry" "is" "kind" "+")
triple1
Harry is not nice.
("Harry" "is" "nice" "-")
triple2
Harry is not red.
("Harry" "is" "red" "-")
triple3