Bob is big. Bob is quiet. Bob is round. Bob is white. Erin is not big. Erin is blue. Erin is not kind. Erin is round. Erin is white. Gary is big. All kind people are not nice. Blue people are round. If someone is nice and not white then they are not kind.
Gary is not round.
@0: Bob is big.[(triple1)] Bob is quiet.[(triple2)] Bob is round.[(triple3)] Bob is white.[(triple4)] Erin is blue.[(triple6)] Erin is not big.[(triple5)] Erin is not kind.[(triple7)] Erin is round.[(triple8 OR ((triple6) -> rule2))] Erin is white.[(triple9)] Gary is big.[(triple10)]