Erin is not quiet. Erin is not round. Erin is smart. Erin is white. Harry is nice. Harry is round. Harry is white. If something is round then it is smart. If something is nice and not cold then it is not smart. Smart things are white. If Erin is quiet then Erin is not nice. If something is round and not white then it is not red. Cold things are red.
Harry is quiet.
@0: Erin is not quiet.[(triple1)] Erin is not round.[(triple2)] Erin is smart.[(triple3)] Erin is white.[(triple4 OR ((triple3) -> rule3))] Harry is nice.[(triple5)] Harry is round.[(triple6)] Harry is white.[(triple7 OR ((((triple6) -> rule1)) -> rule3))] @1: Harry is smart.[(((triple6) -> rule1))]