Charlie is white. Fiona is round. Gary is not smart. Harry is quiet. Kind people are round. All white people are kind. If someone is round then they are quiet.
Fiona is round.
@0: Charlie is white.[(triple1)] Fiona is round.[(triple2)] Gary is not smart.[(triple3)] Harry is quiet.[(triple4)] @1: Charlie is kind.[(((triple1) -> rule2))] Fiona is quiet.[(((triple2) -> rule3))] @2: Charlie is round.[(((((triple1) -> rule2)) -> rule1))] @3: Charlie is quiet.[(((((((triple1) -> rule2)) -> rule1)) -> rule3))]