Anne is rough. Erin is quiet. Harry is quiet. If something is blue then it is big. If something is big and nice then it is quiet. If something is rough then it is nice. Rough things are big. If something is rough then it is quiet. If Anne is blue and Anne is quiet then Anne is rough.
Harry is not nice.
@0: Anne is rough.[(triple1)] Erin is quiet.[(triple2)] Harry is quiet.[(triple3)] @1: Anne is big.[(((triple1) -> rule4))] Anne is nice.[(((triple1) -> rule3))] Anne is quiet.[(((triple1) -> rule5) OR ((((triple1) -> rule4) ((triple1) -> rule3)) -> rule2))]