Charlie is big. Fiona is smart. Gary is smart. Harry is blue. If Harry is blue then Harry is big.
Fiona is not cold.
@0: Charlie is big.[(triple1)] Fiona is smart.[(triple2)] Gary is smart.[(triple3)] Harry is blue.[(triple4)] @1: Harry is big.[(((triple4) -> rule1))]