Anne is cold. Bob is blue. Bob is kind. Bob is round. Bob is white. Bob is young. Erin is rough. Erin is round. Erin is white. Erin is young. Young things are white.
Bob is rough.
@0: Anne is cold.[(triple1)] Bob is blue.[(triple2)] Bob is kind.[(triple3)] Bob is round.[(triple4)] Bob is white.[(triple5 OR ((triple6) -> rule1))] Bob is young.[(triple6)] Erin is rough.[(triple7)] Erin is round.[(triple8)] Erin is white.[(triple9 OR ((triple10) -> rule1))] Erin is young.[(triple10)]