Harry is not kind. Harry is nice. Harry is not rough. Green things are nice. All rough things are nice. If Harry is furry and Harry is green then Harry is kind.
Harry is not kind.
("Harry" "is" "kind" "-")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is not rough.
("Harry" "is" "rough" "-")
Green things are nice.
((("something" "is" "green" "+")) -> ("something" "is" "nice" "+"))
All rough things are nice.
((("something" "is" "rough" "+")) -> ("something" "is" "nice" "+"))
If Harry is furry and Harry is green then Harry is kind.
((("Harry" "is" "furry" "+") ("Harry" "is" "green" "+")) -> ("Harry" "is" "kind" "+"))
Harry is not rough.
True
1
proof
[(triple3)]
("Harry" "is" "rough" "-")
triple3
Harry is kind.
False
1
inv-proof
[(triple1)]
("Harry" "is" "kind" "+")
triple1
Harry is not red.
Unknown
inv-random
[@0: Harry is red.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "red" "-")
Harry is furry.
Unknown
random
[@0: Harry is furry.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "furry" "+")
@0: Harry is nice.[(triple2)] Harry is not kind.[(triple1)] Harry is not rough.[(triple3)]
Harry is nice.
("Harry" "is" "nice" "+")
triple2
Harry is not kind.
("Harry" "is" "kind" "-")
triple1
Harry is not rough.
("Harry" "is" "rough" "-")
triple3