Dave is furry. Dave is green. Dave is kind. Dave is nice. Dave is rough. Dave is smart. Dave is not young. Harry is not furry. Harry is green. Harry is kind. Harry is nice. Harry is rough. Harry is smart. Harry is young. If something is young and not green then it is smart.
Dave is furry.
("Dave" "is" "furry" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is smart.
("Dave" "is" "smart" "+")
Dave is not young.
("Dave" "is" "young" "-")
Harry is not furry.
("Harry" "is" "furry" "-")
Harry is green.
("Harry" "is" "green" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is smart.
("Harry" "is" "smart" "+")
Harry is young.
("Harry" "is" "young" "+")
If something is young and not green then it is smart.
((("something" "is" "young" "+") ("something" "is" "green" "~")) -> ("something" "is" "smart" "+"))
Dave is smart.
True
1
proof
[(triple6)]
("Dave" "is" "smart" "+")
triple6
Harry is not kind.
False
1
inv-proof
[(triple10)]
("Harry" "is" "kind" "-")
triple10
@0: Dave is furry.[(triple1)] Dave is green.[(triple2)] Dave is kind.[(triple3)] Dave is nice.[(triple4)] Dave is not young.[(triple7)] Dave is rough.[(triple5)] Dave is smart.[(triple6)] Harry is green.[(triple9)] Harry is kind.[(triple10)] Harry is nice.[(triple11)] Harry is not furry.[(triple8)] Harry is rough.[(triple12)] Harry is smart.[(triple13)] Harry is young.[(triple14)]
Dave is furry.
("Dave" "is" "furry" "+")
triple1
Dave is green.
("Dave" "is" "green" "+")
triple2
Dave is kind.
("Dave" "is" "kind" "+")
triple3
Dave is nice.
("Dave" "is" "nice" "+")
triple4
Dave is not young.
("Dave" "is" "young" "-")
triple7
Dave is rough.
("Dave" "is" "rough" "+")
triple5
Dave is smart.
("Dave" "is" "smart" "+")
triple6
Harry is green.
("Harry" "is" "green" "+")
triple9
Harry is kind.
("Harry" "is" "kind" "+")
triple10
Harry is nice.
("Harry" "is" "nice" "+")
triple11
Harry is not furry.
("Harry" "is" "furry" "-")
triple8
Harry is rough.
("Harry" "is" "rough" "+")
triple12
Harry is smart.
("Harry" "is" "smart" "+")
triple13
Harry is young.
("Harry" "is" "young" "+")
triple14