Erin is nice. Erin is quiet. Erin is rough. Harry is big. Harry is kind. Harry is quiet. Harry is rough. If Erin is smart and Erin is rough then Erin is quiet. All smart things are kind. All quiet, rough things are nice. Rough things are kind. If Harry is kind and Harry is smart then Harry is rough. If something is rough and cold then it is kind.
Harry is not cold.
@0: Erin is nice.[(triple1 OR ((triple2 triple3) -> rule3))] Erin is quiet.[(triple2)] Erin is rough.[(triple3)] Harry is big.[(triple4)] Harry is kind.[(triple5 OR ((triple7) -> rule4))] Harry is quiet.[(triple6)] Harry is rough.[(triple7)] @1: Erin is kind.[(((triple3) -> rule4))] Harry is nice.[(((triple6 triple7) -> rule3))]