Charlie is quiet. Charlie is white. Gary is blue. Gary is cold. Gary is green. Gary is rough. Gary is round. Gary is white. Harry is blue. Harry is cold. Harry is green. Harry is quiet. Harry is rough. Harry is round. Harry is white. All rough, cold things are blue. If something is quiet and blue then it is round.
Charlie is cold.
@0: Charlie is quiet.[(triple1)] Charlie is white.[(triple2)] Gary is blue.[(triple3 OR ((triple6 triple4) -> rule1))] Gary is cold.[(triple4)] Gary is green.[(triple5)] Gary is rough.[(triple6)] Gary is round.[(triple7)] Gary is white.[(triple8)] Harry is blue.[(triple9 OR ((triple13 triple10) -> rule1))] Harry is cold.[(triple10)] Harry is green.[(triple11)] Harry is quiet.[(triple12)] Harry is rough.[(triple13)] Harry is round.[(triple14 OR ((triple12 triple9) -> rule2) OR ((triple12 ((triple13 triple10) -> rule1)) -> rule2))] Harry is white.[(triple15)]