Erin is not quiet. Erin is not smart. Gary is big. Gary is not green. Gary is round. Gary is smart. Harry is big. Harry is cold. Harry is green. Harry is not quiet. Blue, quiet things are big. All round, blue things are not big. If Erin is big and Erin is not blue then Erin is not cold. If Erin is not quiet then Erin is big. If something is big and not smart then it is green. If something is cold and smart then it is round.
Harry is quiet.
@0: Erin is not quiet.[(triple1)] Erin is not smart.[(triple2)] Gary is big.[(triple3)] Gary is not green.[(triple4)] Gary is round.[(triple5)] Gary is smart.[(triple6)] Harry is big.[(triple7)] Harry is cold.[(triple8)] Harry is green.[(triple9)] Harry is not quiet.[(triple10)] @1: Erin is big.[(((triple1) -> rule4))] @2: Erin is green.[(((((triple1) -> rule4) triple2) -> rule5))]