Bob is blue. Bob is kind. Bob is nice. Bob is quiet. Bob is red. Bob is rough. Dave is kind. Dave is nice. Dave is quiet. Dave is red. Dave is rough. Gary is furry. Gary is kind. Gary is nice. Harry is nice. Harry is red. If Bob is quiet and Bob is furry then Bob is red. Blue people are rough. Blue people are nice.
Harry is blue.
@0: Bob is blue.[(triple1)] Bob is kind.[(triple2)] Bob is nice.[(triple3 OR ((triple1) -> rule3))] Bob is quiet.[(triple4)] Bob is red.[(triple5)] Bob is rough.[(triple6 OR ((triple1) -> rule2))] Dave is kind.[(triple7)] Dave is nice.[(triple8)] Dave is quiet.[(triple9)] Dave is red.[(triple10)] Dave is rough.[(triple11)] Gary is furry.[(triple12)] Gary is kind.[(triple13)] Gary is nice.[(triple14)] Harry is nice.[(triple15)] Harry is red.[(triple16)]