Bob is furry. Charlie is quiet. Gary is quiet. All quiet things are rough. If something is quiet and blue then it is rough. If something is white and rough then it is furry. Quiet, furry things are white. Furry, kind things are rough. Rough things are white.
Bob is white.
@0: Bob is furry.[(triple1)] Charlie is quiet.[(triple2)] Gary is quiet.[(triple3)] @1: Charlie is rough.[(((triple2) -> rule1))] Gary is rough.[(((triple3) -> rule1))] @2: Charlie is white.[(((((triple2) -> rule1)) -> rule6))] Gary is white.[(((((triple3) -> rule1)) -> rule6))] @3: Charlie is furry.[(((((((triple2) -> rule1)) -> rule6) ((triple2) -> rule1)) -> rule3))] Gary is furry.[(((((((triple3) -> rule1)) -> rule6) ((triple3) -> rule1)) -> rule3))]