Bob is big. Bob is not cold. Bob is rough. Erin is blue. Erin is smart. Gary is smart. Harry is not blue. Harry is furry. Harry is rough. Harry is smart. If Erin is not rough then Erin is quiet. All smart, rough people are furry. If someone is cold and not blue then they are not furry. If Bob is furry and Bob is not blue then Bob is rough. If Bob is smart and Bob is not rough then Bob is quiet. If someone is blue then they are big. Furry, cold people are big. If someone is quiet and not smart then they are big.
Gary is not quiet.
@0: Bob is big.[(triple1)] Bob is not cold.[(triple2)] Bob is rough.[(triple3)] Erin is blue.[(triple4)] Erin is smart.[(triple5)] Gary is smart.[(triple6)] Harry is furry.[(triple8 OR ((triple10 triple9) -> rule2))] Harry is not blue.[(triple7)] Harry is rough.[(triple9)] Harry is smart.[(triple10)] @1: Erin is big.[(((triple4) -> rule6))]