Anne is quiet. Bob is round. Erin is white. Fiona is smart. If something is smart then it is kind. All kind things are quiet. If something is white then it is smart.
Anne is rough.
@0: Anne is quiet.[(triple1)] Bob is round.[(triple2)] Erin is white.[(triple3)] Fiona is smart.[(triple4)] @1: Erin is smart.[(((triple3) -> rule3))] Fiona is kind.[(((triple4) -> rule1))] @2: Erin is kind.[(((((triple3) -> rule3)) -> rule1))] Fiona is quiet.[(((((triple4) -> rule1)) -> rule2))] @3: Erin is quiet.[(((((((triple3) -> rule3)) -> rule1)) -> rule2))]