Anne is white. Bob is furry. Charlie is rough. Fiona is furry. Nice things are white. If something is rough then it is round. If Bob is furry then Bob is quiet. If something is green then it is round. If something is round and white then it is nice. Green, rough things are quiet.
Anne is furry.
@0: Anne is white.[(triple1)] Bob is furry.[(triple2)] Charlie is rough.[(triple3)] Fiona is furry.[(triple4)] @1: Bob is quiet.[(((triple2) -> rule3))] Charlie is round.[(((triple3) -> rule2))]