Dave is kind. Dave is young. Gary is big. Gary is blue. Gary is not kind. Gary is nice. Gary is not rough. Gary is round. Gary is young. Harry is not big. Harry is blue. Harry is kind. Harry is rough. Harry is round. Harry is young. Big things are blue. Big things are blue. All big things are not rough.
Dave is not blue.
@0: Dave is kind.[(triple1)] Dave is young.[(triple2)] Gary is big.[(triple3)] Gary is blue.[(triple4 OR ((triple3) -> rule1) OR ((triple3) -> rule2))] Gary is nice.[(triple6)] Gary is not kind.[(triple5)] Gary is not rough.[(triple7 OR ((triple3) -> rule3))] Gary is round.[(triple8)] Gary is young.[(triple9)] Harry is blue.[(triple11)] Harry is kind.[(triple12)] Harry is not big.[(triple10)] Harry is rough.[(triple13)] Harry is round.[(triple14)] Harry is young.[(triple15)]