Bob is cold. Bob is round. Bob is white. Charlie is big. Charlie is cold. Erin is big. Erin is cold. Erin is quiet. Erin is red. Erin is round. Erin is white. Erin is young. If someone is red then they are white. Red, round people are white.
Erin is young.
@0: Bob is cold.[(triple1)] Bob is round.[(triple2)] Bob is white.[(triple3)] Charlie is big.[(triple4)] Charlie is cold.[(triple5)] Erin is big.[(triple6)] Erin is cold.[(triple7)] Erin is quiet.[(triple8)] Erin is red.[(triple9)] Erin is round.[(triple10)] Erin is white.[(triple11 OR ((triple9) -> rule1) OR ((triple9 triple10) -> rule2))] Erin is young.[(triple12)]