Bob is not blue. Bob is kind. Bob is nice. Bob is not rough. Dave is kind. Dave is red. Dave is round. Gary is furry. Gary is nice. Gary is red. Gary is round. Harry is furry. Harry is kind. Harry is nice. Harry is red. Harry is round. If something is rough and not kind then it is furry. If Bob is nice and Bob is red then Bob is not blue. Red, rough things are round. If something is blue and not nice then it is round. If something is rough and nice then it is red. If Bob is round and Bob is not kind then Bob is rough. All red, round things are rough. If Gary is not rough then Gary is furry.
Dave is not round.
@0: Bob is kind.[(triple2)] Bob is nice.[(triple3)] Bob is not blue.[(triple1)] Bob is not rough.[(triple4)] Dave is kind.[(triple5)] Dave is red.[(triple6)] Dave is round.[(triple7)] Gary is furry.[(triple8)] Gary is nice.[(triple9)] Gary is red.[(triple10)] Gary is round.[(triple11)] Harry is furry.[(triple12)] Harry is kind.[(triple13)] Harry is nice.[(triple14)] Harry is red.[(triple15)] Harry is round.[(triple16)] @1: Dave is rough.[(((triple6 triple7) -> rule7))] Gary is rough.[(((triple10 triple11) -> rule7))] Harry is rough.[(((triple15 triple16) -> rule7))]