Anne is nice. Charlie is big. Fiona is red. Harry is cold. If someone is big then they are smart. Rough people are big. Cold people are rough.
Fiona is red.
@0: Anne is nice.[(triple1)] Charlie is big.[(triple2)] Fiona is red.[(triple3)] Harry is cold.[(triple4)] @1: Charlie is smart.[(((triple2) -> rule1))] Harry is rough.[(((triple4) -> rule3))] @2: Harry is big.[(((((triple4) -> rule3)) -> rule2))] @3: Harry is smart.[(((((((triple4) -> rule3)) -> rule2)) -> rule1))]