Erin is big. Erin is blue. Erin is quiet. Erin is red. Erin is round. Erin is white. Erin is young. Gary is not big. Gary is not blue. Gary is quiet. Gary is red. Gary is round. Gary is white. Gary is young. Blue, big things are young.
Gary is not red.
@0: Erin is big.[(triple1)] Erin is blue.[(triple2)] Erin is quiet.[(triple3)] Erin is red.[(triple4)] Erin is round.[(triple5)] Erin is white.[(triple6)] Erin is young.[(triple7 OR ((triple2 triple1) -> rule1))] Gary is not big.[(triple8)] Gary is not blue.[(triple9)] Gary is quiet.[(triple10)] Gary is red.[(triple11)] Gary is round.[(triple12)] Gary is white.[(triple13)] Gary is young.[(triple14)]