Anne is blue. Bob is round. Fiona is big. If something is big then it is rough. Young things are white. Blue, young things are big. If something is young and big then it is blue. Rough things are blue. If Anne is white then Anne is big.
Fiona is rough.
@0: Anne is blue.[(triple1)] Bob is round.[(triple2)] Fiona is big.[(triple3)] @1: Fiona is rough.[(((triple3) -> rule1))] @2: Fiona is blue.[(((((triple3) -> rule1)) -> rule5))]