Erin is round. Erin is white. Gary is big. Gary is white. Harry is big. Harry is furry. Harry is red. Cold, furry things are big. All quiet things are furry. Big things are round. All quiet things are round. If Gary is cold and Gary is white then Gary is quiet. Big things are white.
Harry is quiet.
@0: Erin is round.[(triple1)] Erin is white.[(triple2)] Gary is big.[(triple3)] Gary is white.[(triple4 OR ((triple3) -> rule6))] Harry is big.[(triple5)] Harry is furry.[(triple6)] Harry is red.[(triple7)] @1: Gary is round.[(((triple3) -> rule3))] Harry is round.[(((triple5) -> rule3))] Harry is white.[(((triple5) -> rule6))]