Harry is green. Harry is kind. Harry is quiet. All kind, green people are big. If Harry is kind and Harry is nice then Harry is furry.
Harry is green.
("Harry" "is" "green" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
All kind, green people are big.
((("someone" "is" "kind" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "big" "+"))
If Harry is kind and Harry is nice then Harry is furry.
((("Harry" "is" "kind" "+") ("Harry" "is" "nice" "+")) -> ("Harry" "is" "furry" "+"))
Harry is green.
True
1
proof
[(triple1)]
("Harry" "is" "green" "+")
triple1
Harry is not quiet.
False
1
inv-proof
[(triple3)]
("Harry" "is" "quiet" "-")
triple3
Harry is big.
True
3
proof
[(((triple2 triple1) -> rule1))]
("Harry" "is" "big" "+")
((triple2 triple1) -> (rule1 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is not big.
False
3
inv-proof
[(((triple2 triple1) -> rule1))]
("Harry" "is" "big" "-")
((triple2 triple1) -> (rule1 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is not furry.
Unknown
inv-rconc
[@1: Harry is furry.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "furry" "-")
Harry is smart.
Unknown
random
[@0: Harry is smart.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "smart" "+")
@0: Harry is green.[(triple1)] Harry is kind.[(triple2)] Harry is quiet.[(triple3)] @1: Harry is big.[(((triple2 triple1) -> rule1))]
Harry is green.
("Harry" "is" "green" "+")
triple1
Harry is kind.
("Harry" "is" "kind" "+")
triple2
Harry is quiet.
("Harry" "is" "quiet" "+")
triple3
Harry is big.
("Harry" "is" "big" "+")
((triple2 triple1) -> (rule1 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1