Charlie is blue. Charlie is nice. Charlie is red. Charlie is white. Erin is big. Erin is blue. Erin is furry. Erin is round. Erin is not white. Gary is round. If something is white and nice then it is red. If Erin is nice and Erin is blue then Erin is not red.
Gary is furry.
@0: Charlie is blue.[(triple1)] Charlie is nice.[(triple2)] Charlie is red.[(triple3 OR ((triple4 triple2) -> rule1))] Charlie is white.[(triple4)] Erin is big.[(triple5)] Erin is blue.[(triple6)] Erin is furry.[(triple7)] Erin is not white.[(triple9)] Erin is round.[(triple8)] Gary is round.[(triple10)]