Gary is kind. Gary is young. Harry is kind. All round things are young. If Gary is quiet and Gary is kind then Gary is nice. Kind, furry things are nice. Round, quiet things are nice. If something is nice and young then it is kind. If something is furry then it is young. Quiet things are kind. If something is kind then it is nice.
Gary is kind.
("Gary" "is" "kind" "+")
Gary is young.
("Gary" "is" "young" "+")
Harry is kind.
("Harry" "is" "kind" "+")
All round things are young.
((("something" "is" "round" "+")) -> ("something" "is" "young" "+"))
If Gary is quiet and Gary is kind then Gary is nice.
((("Gary" "is" "quiet" "+") ("Gary" "is" "kind" "+")) -> ("Gary" "is" "nice" "+"))
Kind, furry things are nice.
((("something" "is" "kind" "+") ("something" "is" "furry" "+")) -> ("something" "is" "nice" "+"))
Round, quiet things are nice.
((("something" "is" "round" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "nice" "+"))
If something is nice and young then it is kind.
((("something" "is" "nice" "+") ("something" "is" "young" "+")) -> ("something" "is" "kind" "+"))
If something is furry then it is young.
((("something" "is" "furry" "+")) -> ("something" "is" "young" "+"))
Quiet things are kind.
((("something" "is" "quiet" "+")) -> ("something" "is" "kind" "+"))
If something is kind then it is nice.
((("something" "is" "kind" "+")) -> ("something" "is" "nice" "+"))
Harry is kind.
True
1
proof
[(triple3)]
("Harry" "is" "kind" "+")
triple3
Gary is not kind.
False
1
inv-proof
[(triple1)]
("Gary" "is" "kind" "-")
triple1
Harry is not young.
Unknown
inv-rconc
[@1: Harry is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "young" "-")
Harry is round.
Unknown
random
[@0: Harry is round.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "round" "+")
@0: Gary is kind.[(triple1)] Gary is young.[(triple2)] Harry is kind.[(triple3)] @1: Gary is nice.[(((triple1) -> rule8))] Harry is nice.[(((triple3) -> rule8))]
Gary is kind.
("Gary" "is" "kind" "+")
triple1
Gary is young.
("Gary" "is" "young" "+")
triple2
Harry is kind.
("Harry" "is" "kind" "+")
triple3
Gary is nice.
("Gary" "is" "nice" "+")
((triple1) -> (rule8 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
((triple3) -> (rule8 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1