Bob is furry. Fiona is big. Fiona is round. If Bob is nice and Bob is big then Bob is kind. Rough things are furry. All round things are kind. Big things are nice. All furry things are big. All kind, nice things are round.
Bob is rough.
@0: Bob is furry.[(triple1)] Fiona is big.[(triple2)] Fiona is round.[(triple3)] @1: Bob is big.[(((triple1) -> rule5))] Fiona is kind.[(((triple3) -> rule3))] Fiona is nice.[(((triple2) -> rule4))] @2: Bob is nice.[(((((triple1) -> rule5)) -> rule4))] @3: Bob is kind.[(((((((triple1) -> rule5)) -> rule4) ((triple1) -> rule5)) -> rule1))] @4: Bob is round.[(((((((((triple1) -> rule5)) -> rule4) ((triple1) -> rule5)) -> rule1) ((((triple1) -> rule5)) -> rule4)) -> rule6))]