Bob is cold. Dave is blue. Fiona is big. Gary is nice. If someone is cold then they are young. Blue people are quiet. All nice, blue people are young.
Gary is not nice.
@0: Bob is cold.[(triple1)] Dave is blue.[(triple2)] Fiona is big.[(triple3)] Gary is nice.[(triple4)] @1: Bob is young.[(((triple1) -> rule1))] Dave is quiet.[(((triple2) -> rule2))]