Bob is young. Dave is not round. Erin is young. Gary is round. All round things are kind. If something is cold then it is not white. Smart things are young. If something is young and rough then it is not smart. If Gary is kind then Gary is not smart. If Dave is white and Dave is smart then Dave is not cold. Smart things are cold. If Gary is young and Gary is not smart then Gary is not white.
Gary is kind.
@0: Bob is young.[(triple1)] Dave is not round.[(triple2)] Erin is young.[(triple3)] Gary is round.[(triple4)] @1: Gary is kind.[(((triple4) -> rule1))] @2: Gary is not smart.[(((((triple4) -> rule1)) -> rule5))]