Fiona is not cold. Harry is cold. Harry is young. If someone is white then they are not young. Big people are red. If Harry is white and Harry is not green then Harry is quiet. If someone is young then they are cold. If Fiona is not young then Fiona is cold. If someone is big then they are quiet. If someone is cold and not white then they are quiet. All cold people are quiet.
Harry is cold.
@0: Fiona is not cold.[(triple1)] Harry is cold.[(triple2 OR ((triple3) -> rule4))] Harry is young.[(triple3)] @1: Harry is quiet.[(((triple2) -> rule8) OR ((((triple3) -> rule4)) -> rule8))]