Bob is furry. Charlie is big. Erin is big. If someone is furry and blue then they are big. If someone is green and blue then they are furry. All blue, big people are quiet. Blue people are round. If Charlie is big then Charlie is furry. If someone is furry and cold then they are blue.
Bob is round.
@0: Bob is furry.[(triple1)] Charlie is big.[(triple2)] Erin is big.[(triple3)] @1: Charlie is furry.[(((triple2) -> rule5))]