Charlie is big. Charlie is red. Erin is furry. Erin is red. Fiona is nice. Gary is big. Gary is furry. All nice people are furry. All young, big people are white.
Charlie is not white.
@0: Charlie is big.[(triple1)] Charlie is red.[(triple2)] Erin is furry.[(triple3)] Erin is red.[(triple4)] Fiona is nice.[(triple5)] Gary is big.[(triple6)] Gary is furry.[(triple7)] @1: Fiona is furry.[(((triple5) -> rule1))]