Charlie is rough. Erin is young. Fiona is cold. Harry is young. All big, rough things are cold. All cold things are nice. Rough things are big.
Harry is rough.
@0: Charlie is rough.[(triple1)] Erin is young.[(triple2)] Fiona is cold.[(triple3)] Harry is young.[(triple4)] @1: Charlie is big.[(((triple1) -> rule3))] Fiona is nice.[(((triple3) -> rule2))] @2: Charlie is cold.[(((((triple1) -> rule3) triple1) -> rule1))] @3: Charlie is nice.[(((((((triple1) -> rule3) triple1) -> rule1)) -> rule2))]