Bob is kind. Bob is young. Charlie is cold. Charlie is round. Charlie is not young. Gary is cold. Gary is kind. Gary is quiet. Gary is young. Harry is cold. Harry is kind. Harry is nice. Harry is quiet. Harry is round. Harry is white. Harry is young. If someone is round and nice then they are kind. If someone is round and not white then they are quiet. If Charlie is kind then Charlie is young. If Bob is kind and Bob is not round then Bob is young. If Harry is young and Harry is cold then Harry is quiet. If Bob is kind and Bob is not round then Bob is not nice.
Gary is not young.
@0: Bob is kind.[(triple1)] Bob is young.[(triple2)] Charlie is cold.[(triple3)] Charlie is not young.[(triple5)] Charlie is round.[(triple4)] Gary is cold.[(triple6)] Gary is kind.[(triple7)] Gary is quiet.[(triple8)] Gary is young.[(triple9)] Harry is cold.[(triple10)] Harry is kind.[(triple11 OR ((triple14 triple12) -> rule1))] Harry is nice.[(triple12)] Harry is quiet.[(triple13 OR ((triple16 triple10) -> rule5))] Harry is round.[(triple14)] Harry is white.[(triple15)] Harry is young.[(triple16)]