Anne is nice. Dave is green. Fiona is blue. Gary is green. If Anne is white then Anne is green. If Gary is green and Gary is smart then Gary is blue. Kind, blue people are white. All nice, smart people are green. All smart, green people are blue. Blue people are kind.
Anne is rough.
@0: Anne is nice.[(triple1)] Dave is green.[(triple2)] Fiona is blue.[(triple3)] Gary is green.[(triple4)] @1: Fiona is kind.[(((triple3) -> rule6))] @2: Fiona is white.[(((((triple3) -> rule6) triple3) -> rule3))]