Charlie is big. Charlie is nice. Charlie is quiet. Charlie is red. Erin is round. Erin is white. Gary is nice. Gary is round. Gary is white. Harry is not quiet. Harry is round. Harry is white. If someone is cold and not red then they are big. All big, red people are quiet.
Gary is not round.
@0: Charlie is big.[(triple1)] Charlie is nice.[(triple2)] Charlie is quiet.[(triple3 OR ((triple1 triple4) -> rule2))] Charlie is red.[(triple4)] Erin is round.[(triple5)] Erin is white.[(triple6)] Gary is nice.[(triple7)] Gary is round.[(triple8)] Gary is white.[(triple9)] Harry is not quiet.[(triple10)] Harry is round.[(triple11)] Harry is white.[(triple12)]