Charlie is cold. Charlie is white. Gary is cold. Gary is quiet. Gary is red. Gary is young. Harry is cold. Harry is quiet. Harry is red. Harry is white. Green things are cold. If Charlie is red and Charlie is big then Charlie is white. If Harry is quiet then Harry is cold.
Charlie is green.
@0: Charlie is cold.[(triple1)] Charlie is white.[(triple2)] Gary is cold.[(triple3)] Gary is quiet.[(triple4)] Gary is red.[(triple5)] Gary is young.[(triple6)] Harry is cold.[(triple7 OR ((triple8) -> rule3))] Harry is quiet.[(triple8)] Harry is red.[(triple9)] Harry is white.[(triple10)]