Bob is round. Charlie is young. Dave is big. Gary is green. All young people are round. Big people are round. Kind people are nice. Furry, big people are nice. If Bob is kind then Bob is furry. If Bob is big and Bob is nice then Bob is young. Big people are nice. If someone is round and nice then they are green.
Dave is big.
@0: Bob is round.[(triple1)] Charlie is young.[(triple2)] Dave is big.[(triple3)] Gary is green.[(triple4)] @1: Charlie is round.[(((triple2) -> rule1))] Dave is nice.[(((triple3) -> rule7))] Dave is round.[(((triple3) -> rule2))] @2: Dave is green.[(((((triple3) -> rule2) ((triple3) -> rule7)) -> rule8))]