Charlie is quiet. Harry is red. All quiet, red people are white. Big, white people are kind. Kind people are cold. If someone is quiet and green then they are big. White people are quiet. If someone is big then they are quiet. All quiet people are kind. If someone is kind and cold then they are big.
Harry is red.
@0: Charlie is quiet.[(triple1)] Harry is red.[(triple2)] @1: Charlie is kind.[(((triple1) -> rule7))] @2: Charlie is cold.[(((((triple1) -> rule7)) -> rule3))] @3: Charlie is big.[(((((triple1) -> rule7) ((((triple1) -> rule7)) -> rule3)) -> rule8))]