Dave is big. Dave is round. Erin is nice. All big people are red. All green, rough people are nice.
Dave is round.
@0: Dave is big.[(triple1)] Dave is round.[(triple2)] Erin is nice.[(triple3)] @1: Dave is red.[(((triple1) -> rule1))]