Bob is big. Bob is cold. Bob is furry. Bob is round. Bob is white. Bob is young. Erin is cold. Erin is quiet. Erin is round. Erin is white. Gary is cold. Gary is furry. Gary is quiet. Gary is round. Gary is white. Gary is young. All furry, young people are white. Round, cold people are white. If Erin is furry then Erin is big.
Erin is furry.
@0: Bob is big.[(triple1)] Bob is cold.[(triple2)] Bob is furry.[(triple3)] Bob is round.[(triple4)] Bob is white.[(triple5 OR ((triple3 triple6) -> rule1) OR ((triple4 triple2) -> rule2))] Bob is young.[(triple6)] Erin is cold.[(triple7)] Erin is quiet.[(triple8)] Erin is round.[(triple9)] Erin is white.[(triple10 OR ((triple9 triple7) -> rule2))] Gary is cold.[(triple11)] Gary is furry.[(triple12)] Gary is quiet.[(triple13)] Gary is round.[(triple14)] Gary is white.[(triple15 OR ((triple12 triple16) -> rule1) OR ((triple14 triple11) -> rule2))] Gary is young.[(triple16)]