Anne is not green. Bob is green. Charlie is round. Fiona is quiet. If someone is round then they are not nice. If someone is green then they are round. If someone is green and not nice then they are quiet.
Fiona is quiet.
@0: Anne is not green.[(triple1)] Bob is green.[(triple2)] Charlie is round.[(triple3)] Fiona is quiet.[(triple4)] @1: Bob is round.[(((triple2) -> rule2))] Charlie is not nice.[(((triple3) -> rule1))] @2: Bob is not nice.[(((((triple2) -> rule2)) -> rule1))] @3: Bob is quiet.[(((triple2 ((((triple2) -> rule2)) -> rule1)) -> rule3))]