Dave is round. If someone is green then they are white. If Dave is white and Dave is smart then Dave is quiet. If Dave is round and Dave is smart then Dave is green. All green, round people are young. Round people are smart. All young, green people are smart. If Dave is not green then Dave is big. If someone is smart and not big then they are quiet.
Dave is round.
@0: Dave is round.[(triple1)] @1: Dave is smart.[(((triple1) -> rule5))] @2: Dave is green.[(((triple1 ((triple1) -> rule5)) -> rule3))] @3: Dave is white.[(((((triple1 ((triple1) -> rule5)) -> rule3)) -> rule1))] Dave is young.[(((((triple1 ((triple1) -> rule5)) -> rule3) triple1) -> rule4))] @4: Dave is quiet.[(((((((triple1 ((triple1) -> rule5)) -> rule3)) -> rule1) ((triple1) -> rule5)) -> rule2))]