Anne is red. Bob is big. Charlie is not cold. Harry is rough. If Harry is smart then Harry is quiet. Young, big things are not cold. All rough things are smart.
Harry is rough.
@0: Anne is red.[(triple1)] Bob is big.[(triple2)] Charlie is not cold.[(triple3)] Harry is rough.[(triple4)] @1: Harry is smart.[(((triple4) -> rule3))] @2: Harry is quiet.[(((((triple4) -> rule3)) -> rule1))]