Charlie is cold. Charlie is nice. Charlie is rough. Charlie is round. Harry is blue. Harry is nice. Harry is red. Harry is rough. Harry is round. Harry is white. If someone is blue and rough then they are red. All blue, cold people are white. If someone is white and red then they are cold.
Harry is not red.
@0: Charlie is cold.[(triple1)] Charlie is nice.[(triple2)] Charlie is rough.[(triple3)] Charlie is round.[(triple4)] Harry is blue.[(triple5)] Harry is nice.[(triple6)] Harry is red.[(triple7 OR ((triple5 triple8) -> rule1))] Harry is rough.[(triple8)] Harry is round.[(triple9)] Harry is white.[(triple10)] @1: Harry is cold.[(((triple10 triple7) -> rule3) OR ((triple10 ((triple5 triple8) -> rule1)) -> rule3))]