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 not nice.
@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))]