Erin is big. Erin is blue. Erin is not furry. Harry is big. Harry is blue. Harry is quiet. Harry is round. If something is blue and round then it is white. Round things are white. If something is round and not blue then it is big. If something is blue and not white then it is big. If something is round and not white then it is furry. Blue things are quiet. If something is furry then it is quiet. If something is big and round then it is quiet.
Harry is nice.
@0: Erin is big.[(triple1)] Erin is blue.[(triple2)] Erin is not furry.[(triple3)] Harry is big.[(triple4)] Harry is blue.[(triple5)] Harry is quiet.[(triple6 OR ((triple5) -> rule6) OR ((triple4 triple7) -> rule8))] Harry is round.[(triple7)] @1: Erin is quiet.[(((triple2) -> rule6))] Harry is white.[(((triple7) -> rule2) OR ((triple5 triple7) -> rule1))]