Bob is cold. Dave is round. Erin is round. Gary is nice. If something is nice then it is big. All nice things are white.
Dave is cold.
@0: Bob is cold.[(triple1)] Dave is round.[(triple2)] Erin is round.[(triple3)] Gary is nice.[(triple4)] @1: Gary is big.[(((triple4) -> rule1))] Gary is white.[(((triple4) -> rule2))]