Dave is nice. Erin is furry. Fiona is nice. Harry is rough. All furry, round people are nice. If someone is big then they are nice. Nice people are round. If Erin is big then Erin is round. Young, round people are rough. If someone is nice and big then they are furry.
Erin is furry.
@0: Dave is nice.[(triple1)] Erin is furry.[(triple2)] Fiona is nice.[(triple3)] Harry is rough.[(triple4)] @1: Dave is round.[(((triple1) -> rule3))] Fiona is round.[(((triple3) -> rule3))]