Anne is nice. Erin is white. Harry is not quiet. Rough, white people are nice. If someone is furry then they are nice. All furry people are big. All nice people are big. If someone is smart then they are big. If Anne is rough and Anne is quiet then Anne is furry. Nice, white people are rough. Big people are not white.
Harry is nice.
@0: Anne is nice.[(triple1)] Erin is white.[(triple2)] Harry is not quiet.[(triple3)] @1: Anne is big.[(((triple1) -> rule4))] @2: Anne is not white.[(((((triple1) -> rule4)) -> rule8))]