Charlie is kind. Charlie is not smart. Dave is big. Harry is blue. Harry is red. Harry is smart. Harry is not white. All red things are big. If something is red and big then it is kind.
Charlie is not big.
@0: Charlie is kind.[(triple1)] Charlie is not smart.[(triple2)] Dave is big.[(triple3)] Harry is blue.[(triple4)] Harry is not white.[(triple7)] Harry is red.[(triple5)] Harry is smart.[(triple6)] @1: Harry is big.[(((triple5) -> rule1))] @2: Harry is kind.[(((triple5 ((triple5) -> rule1)) -> rule2))]