Bob is kind. Dave is red. Erin is kind. Fiona is round. Round things are quiet. All furry things are big. Quiet things are furry.
Dave is not big.
@0: Bob is kind.[(triple1)] Dave is red.[(triple2)] Erin is kind.[(triple3)] Fiona is round.[(triple4)] @1: Fiona is quiet.[(((triple4) -> rule1))] @2: Fiona is furry.[(((((triple4) -> rule1)) -> rule3))] @3: Fiona is big.[(((((((triple4) -> rule1)) -> rule3)) -> rule2))]