Bob is smart. Charlie is big. Fiona is kind. Smart things are quiet. Big, kind things are smart. If something is kind then it is big.
Charlie is not big.
@0: Bob is smart.[(triple1)] Charlie is big.[(triple2)] Fiona is kind.[(triple3)] @1: Bob is quiet.[(((triple1) -> rule1))] Fiona is big.[(((triple3) -> rule3))] @2: Fiona is smart.[(((((triple3) -> rule3) triple3) -> rule2))] @3: Fiona is quiet.[(((((((triple3) -> rule3) triple3) -> rule2)) -> rule1))]