Bob is rough. Fiona is not furry. Fiona is white. Young, nice things are big. Blue things are big. If something is young and white then it is nice. All nice things are young. All white things are young. If something is blue and not big then it is not rough.
Bob is furry.
@0: Bob is rough.[(triple1)] Fiona is not furry.[(triple2)] Fiona is white.[(triple3)] @1: Fiona is young.[(((triple3) -> rule5))] @2: Fiona is nice.[(((((triple3) -> rule5) triple3) -> rule3))] @3: Fiona is big.[(((((triple3) -> rule5) ((((triple3) -> rule5) triple3) -> rule3)) -> rule1))]