Erin is white. Gary is big. Gary is furry. Gary is not kind. Gary is quiet. Gary is not smart. Gary is not young. Harry is furry. Harry is quiet. Harry is white. White people are big. If someone is smart and not furry then they are big. If Gary is white then Gary is kind. Furry, kind people are not young. Furry people are not young. Young, furry people are quiet.
Harry is not quiet.
@0: Erin is white.[(triple1)] Gary is big.[(triple2)] Gary is furry.[(triple3)] Gary is not kind.[(triple4)] Gary is not smart.[(triple6)] Gary is not young.[(triple7 OR ((triple3) -> rule5))] Gary is quiet.[(triple5)] Harry is furry.[(triple8)] Harry is quiet.[(triple9)] Harry is white.[(triple10)] @1: Erin is big.[(((triple1) -> rule1))] Harry is big.[(((triple10) -> rule1))] Harry is not young.[(((triple8) -> rule5))]