Charlie is furry. Dave is round. Fiona is furry. Round people are furry. If someone is nice then they are furry. Furry, nice people are smart. Smart, furry people are quiet. If someone is blue and cold then they are quiet. If someone is furry and round then they are nice.
Charlie is furry.
@0: Charlie is furry.[(triple1)] Dave is round.[(triple2)] Fiona is furry.[(triple3)] @1: Dave is furry.[(((triple2) -> rule1))] @2: Dave is nice.[(((((triple2) -> rule1) triple2) -> rule6))] @3: Dave is smart.[(((((triple2) -> rule1) ((((triple2) -> rule1) triple2) -> rule6)) -> rule3))] @4: Dave is quiet.[(((((((triple2) -> rule1) ((((triple2) -> rule1) triple2) -> rule6)) -> rule3) ((triple2) -> rule1)) -> rule4))]