Harry is quiet. All big people are kind. If Harry is quiet then Harry is blue. If Harry is white and Harry is red then Harry is blue. If someone is quiet then they are young. All big, quiet people are white. All red people are white. If someone is quiet then they are white. White people are kind.
Harry is quiet.
@0: Harry is quiet.[(triple1)] @1: Harry is blue.[(((triple1) -> rule2))] Harry is white.[(((triple1) -> rule7))] Harry is young.[(((triple1) -> rule4))] @2: Harry is kind.[(((((triple1) -> rule7)) -> rule8))]