Charlie is not big. Charlie is cold. Charlie is not furry. Charlie is quiet. Charlie is rough. Charlie is round. Charlie is white. Fiona is big. Fiona is cold. Fiona is not furry. Fiona is quiet. Fiona is rough. Fiona is round. Fiona is not white. If Charlie is round then Charlie is rough. Rough things are cold. If something is rough and not big then it is white.
Charlie is not quiet.
@0: Charlie is cold.[(triple2 OR ((triple5) -> rule2) OR ((((triple6) -> rule1)) -> rule2))] Charlie is not big.[(triple1)] Charlie is not furry.[(triple3)] Charlie is quiet.[(triple4)] Charlie is rough.[(triple5 OR ((triple6) -> rule1))] Charlie is round.[(triple6)] Charlie is white.[(triple7 OR ((triple5 triple1) -> rule3) OR ((((triple6) -> rule1) triple1) -> rule3))] Fiona is big.[(triple8)] Fiona is cold.[(triple9 OR ((triple12) -> rule2))] Fiona is not furry.[(triple10)] Fiona is not white.[(triple14)] Fiona is quiet.[(triple11)] Fiona is rough.[(triple12)] Fiona is round.[(triple13)]