Charlie is nice. Harry is cold. Harry is white. If something is nice and white then it is big. All cold, big things are young. If something is nice then it is young. If something is quiet then it is round. Young things are cold. If something is young then it is nice. All quiet things are young. All round things are cold.
Charlie is nice.
@0: Charlie is nice.[(triple1)] Harry is cold.[(triple2)] Harry is white.[(triple3)] @1: Charlie is young.[(((triple1) -> rule3))] @2: Charlie is cold.[(((((triple1) -> rule3)) -> rule5))]