Erin is big. Erin is furry. Erin is not nice. Erin is quiet. Erin is rough. Erin is round. Fiona is furry. All big things are rough. If something is cold then it is big. If something is cold then it is not nice. If something is cold and not big then it is not quiet. Round things are quiet. If something is round then it is quiet.
Fiona is not rough.
@0: Erin is big.[(triple1)] Erin is furry.[(triple2)] Erin is not nice.[(triple3)] Erin is quiet.[(triple4 OR ((triple6) -> rule5) OR ((triple6) -> rule6))] Erin is rough.[(triple5 OR ((triple1) -> rule1))] Erin is round.[(triple6)] Fiona is furry.[(triple7)]