Charlie is cold. Charlie is furry. Charlie is quiet. Charlie is red. Charlie is round. Charlie is white. Fiona is cold. Fiona is not furry. Fiona is not quiet. Fiona is rough. Fiona is round. Fiona is not white. If something is rough and not cold then it is furry. If Fiona is not round then Fiona is not quiet. If something is furry then it is white. If Charlie is not furry then Charlie is white. If something is red and not furry then it is quiet. If something is red and rough then it is not quiet. If something is rough then it is not quiet. All white, quiet things are red.
Charlie is rough.
@0: Charlie is cold.[(triple1)] Charlie is furry.[(triple2)] Charlie is quiet.[(triple3)] Charlie is red.[(triple4 OR ((triple6 triple3) -> rule8) OR ((((triple2) -> rule3) triple3) -> rule8))] Charlie is round.[(triple5)] Charlie is white.[(triple6 OR ((triple2) -> rule3))] Fiona is cold.[(triple7)] Fiona is not furry.[(triple8)] Fiona is not quiet.[(triple9 OR ((triple10) -> rule7))] Fiona is not white.[(triple12)] Fiona is rough.[(triple10)] Fiona is round.[(triple11)]