Bob is quiet. Bob is round. Bob is white. Charlie is blue. Charlie is quiet. Erin is blue. Erin is quiet. Erin is red. Erin is round. Erin is white. Harry is quiet. Harry is red. All white, quiet people are red. If Charlie is quiet then Charlie is white.
Bob is furry.
@0: Bob is quiet.[(triple1)] Bob is round.[(triple2)] Bob is white.[(triple3)] Charlie is blue.[(triple4)] Charlie is quiet.[(triple5)] Erin is blue.[(triple6)] Erin is quiet.[(triple7)] Erin is red.[(triple8 OR ((triple10 triple7) -> rule1))] Erin is round.[(triple9)] Erin is white.[(triple10)] Harry is quiet.[(triple11)] Harry is red.[(triple12)] @1: Bob is red.[(((triple3 triple1) -> rule1))] Charlie is white.[(((triple5) -> rule2))] @2: Charlie is red.[(((((triple5) -> rule2) triple5) -> rule1))]