Charlie is not big. Charlie is kind. Dave is big. Dave is blue. Dave is kind. Dave is quiet. Dave is rough. Gary is big. Gary is quiet. Gary is red. Harry is not blue. Harry is nice. Harry is quiet. Harry is red. Harry is rough. If something is red and not kind then it is quiet. If something is nice and not blue then it is rough. All rough, kind things are nice. All blue, nice things are red. If Harry is not quiet and Harry is not red then Harry is not big. If Dave is not nice then Dave is big.
Dave is rough.
@0: Charlie is kind.[(triple2)] Charlie is not big.[(triple1)] Dave is big.[(triple3)] Dave is blue.[(triple4)] Dave is kind.[(triple5)] Dave is quiet.[(triple6)] Dave is rough.[(triple7)] Gary is big.[(triple8)] Gary is quiet.[(triple9)] Gary is red.[(triple10)] Harry is nice.[(triple12)] Harry is not blue.[(triple11)] Harry is quiet.[(triple13)] Harry is red.[(triple14)] Harry is rough.[(triple15 OR ((triple12 triple11) -> rule2))] @1: Dave is nice.[(((triple7 triple5) -> rule3))] @2: Dave is red.[(((triple4 ((triple7 triple5) -> rule3)) -> rule4))]