Charlie is red. Dave is blue. Fiona is smart. Gary is smart. Blue, nice people are round. If Charlie is blue then Charlie is round. If someone is nice then they are blue. If someone is blue then they are young. Red people are round. Round people are green.
Dave is nice.
@0: Charlie is red.[(triple1)] Dave is blue.[(triple2)] Fiona is smart.[(triple3)] Gary is smart.[(triple4)] @1: Charlie is round.[(((triple1) -> rule5))] Dave is young.[(((triple2) -> rule4))] @2: Charlie is green.[(((((triple1) -> rule5)) -> rule6))]