Dave is furry. Dave is kind. Dave is nice. Dave is quiet. Dave is rough. Dave is smart. Dave is white. Harry is furry. Harry is kind. Harry is nice. Harry is quiet. Harry is not rough. Harry is smart. Harry is white. Quiet, rough things are kind. If Dave is white and Dave is not kind then Dave is smart.
Dave is furry.
("Dave" "is" "furry" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is smart.
("Dave" "is" "smart" "+")
Dave is white.
("Dave" "is" "white" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is not rough.
("Harry" "is" "rough" "-")
Harry is smart.
("Harry" "is" "smart" "+")
Harry is white.
("Harry" "is" "white" "+")
Quiet, rough things are kind.
((("something" "is" "quiet" "+") ("something" "is" "rough" "+")) -> ("something" "is" "kind" "+"))
If Dave is white and Dave is not kind then Dave is smart.
((("Dave" "is" "white" "+") ("Dave" "is" "kind" "~")) -> ("Dave" "is" "smart" "+"))
Harry is nice.
True
1
proof
[(triple10)]
("Harry" "is" "nice" "+")
triple10
Dave is not rough.
False
1
inv-proof
[(triple5)]
("Dave" "is" "rough" "-")
triple5
@0: Dave is furry.[(triple1)] Dave is kind.[(triple2 OR ((triple4 triple5) -> rule1))] Dave is nice.[(triple3)] Dave is quiet.[(triple4)] Dave is rough.[(triple5)] Dave is smart.[(triple6)] Dave is white.[(triple7)] Harry is furry.[(triple8)] Harry is kind.[(triple9)] Harry is nice.[(triple10)] Harry is not rough.[(triple12)] Harry is quiet.[(triple11)] Harry is smart.[(triple13)] Harry is white.[(triple14)]
Dave is furry.
("Dave" "is" "furry" "+")
triple1
Dave is kind.
("Dave" "is" "kind" "+")
triple2
((triple4 triple5) -> (rule1 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
triple3
Dave is quiet.
("Dave" "is" "quiet" "+")
triple4
Dave is rough.
("Dave" "is" "rough" "+")
triple5
Dave is smart.
("Dave" "is" "smart" "+")
triple6
Dave is white.
("Dave" "is" "white" "+")
triple7
Harry is furry.
("Harry" "is" "furry" "+")
triple8
Harry is kind.
("Harry" "is" "kind" "+")
triple9
Harry is nice.
("Harry" "is" "nice" "+")
triple10
Harry is not rough.
("Harry" "is" "rough" "-")
triple12
Harry is quiet.
("Harry" "is" "quiet" "+")
triple11
Harry is smart.
("Harry" "is" "smart" "+")
triple13
Harry is white.
("Harry" "is" "white" "+")
triple14