Bob is big. Charlie is quiet. Dave is young. If Dave is big and Dave is nice then Dave is round. All white, red people are nice. All young people are round. If someone is white and quiet then they are round. Young, red people are big. If Bob is red then Bob is big. Quiet people are white. If someone is nice then they are big.
Dave is not young.
@0: Bob is big.[(triple1)] Charlie is quiet.[(triple2)] Dave is young.[(triple3)] @1: Charlie is white.[(((triple2) -> rule7))] Dave is round.[(((triple3) -> rule3))] @2: Charlie is round.[(((((triple2) -> rule7) triple2) -> rule4))]