Bob is young. Charlie is rough. Fiona is rough. All young things are cold. All round, rough things are blue. Rough, cold things are young. If Charlie is blue and Charlie is round then Charlie is big. If something is young and cold then it is rough. If something is young and rough then it is big.
Bob is not cold.
@0: Bob is young.[(triple1)] Charlie is rough.[(triple2)] Fiona is rough.[(triple3)] @1: Bob is cold.[(((triple1) -> rule1))] @2: Bob is rough.[(((triple1 ((triple1) -> rule1)) -> rule5))] @3: Bob is big.[(((triple1 ((triple1 ((triple1) -> rule1)) -> rule5)) -> rule6))]