Anne is nice. Bob is big. Bob is kind. Bob is nice. Bob is quiet. Bob is rough. Bob is white. Bob is young. Erin is big. Erin is kind. Erin is nice. Erin is quiet. Erin is rough. Erin is white. Erin is young. If someone is young then they are white.
Bob is white.
@0: Anne is nice.[(triple1)] Bob is big.[(triple2)] Bob is kind.[(triple3)] Bob is nice.[(triple4)] Bob is quiet.[(triple5)] Bob is rough.[(triple6)] Bob is white.[(triple7 OR ((triple8) -> rule1))] Bob is young.[(triple8)] Erin is big.[(triple9)] Erin is kind.[(triple10)] Erin is nice.[(triple11)] Erin is quiet.[(triple12)] Erin is rough.[(triple13)] Erin is white.[(triple14 OR ((triple15) -> rule1))] Erin is young.[(triple15)]