Bob is round. Bob is white. Bob is young. Dave is big. Dave is cold. Erin is cold. Erin is round. Erin is white. Erin is young. Harry is round. All white things are round. If something is big and round then it is young.
Dave is not young.
@0: Bob is round.[(triple1 OR ((triple2) -> rule1))] Bob is white.[(triple2)] Bob is young.[(triple3)] Dave is big.[(triple4)] Dave is cold.[(triple5)] Erin is cold.[(triple6)] Erin is round.[(triple7 OR ((triple8) -> rule1))] Erin is white.[(triple8)] Erin is young.[(triple9)] Harry is round.[(triple10)]