Charlie is kind. Charlie is quiet. Harry is kind. All big, white people are smart. All white people are nice. All big, kind people are white. All nice people are big. All quiet people are big. If Harry is not kind then Harry is big. If Charlie is quiet and Charlie is not white then Charlie is not smart. If someone is white and not nice then they are not cold.
Charlie is not big.
@0: Charlie is kind.[(triple1)] Charlie is quiet.[(triple2)] Harry is kind.[(triple3)] @1: Charlie is big.[(((triple2) -> rule5))] @2: Charlie is white.[(((((triple2) -> rule5) triple1) -> rule3))] @3: Charlie is nice.[(((((((triple2) -> rule5) triple1) -> rule3)) -> rule2))] Charlie is smart.[(((((triple2) -> rule5) ((((triple2) -> rule5) triple1) -> rule3)) -> rule1))]