Charlie is kind. Erin is smart. Gary is quiet. Harry is quiet. All cold, young people are smart. If someone is young and big then they are cold. If someone is quiet and big then they are young. If Charlie is kind then Charlie is young. If someone is young then they are cold. If Erin is kind and Erin is rough then Erin is cold. Kind, big people are smart. All cold, smart people are kind.
Harry is kind.
@0: Charlie is kind.[(triple1)] Erin is smart.[(triple2)] Gary is quiet.[(triple3)] Harry is quiet.[(triple4)] @1: Charlie is young.[(((triple1) -> rule4))] @2: Charlie is cold.[(((((triple1) -> rule4)) -> rule5))] @3: Charlie is smart.[(((((((triple1) -> rule4)) -> rule5) ((triple1) -> rule4)) -> rule1))]