Charlie is cold. Charlie is furry. Charlie is kind. Charlie is quiet. Charlie is round. Fiona is cold. Fiona is furry. Fiona is kind. Fiona is nice. Fiona is quiet. Fiona is round. Fiona is white. All furry things are kind. All cold things are white. All furry things are white. Kind things are quiet. Furry, kind things are nice. All white things are round.
Fiona is not nice.
@0: Charlie is cold.[(triple1)] Charlie is furry.[(triple2)] Charlie is kind.[(triple3 OR ((triple2) -> rule1))] Charlie is quiet.[(triple4 OR ((triple3) -> rule4) OR ((((triple2) -> rule1)) -> rule4))] Charlie is round.[(triple5 OR ((((triple1) -> rule2)) -> rule6) OR ((((triple2) -> rule3)) -> rule6))] Fiona is cold.[(triple6)] Fiona is furry.[(triple7)] Fiona is kind.[(triple8 OR ((triple7) -> rule1))] Fiona is nice.[(triple9 OR ((triple7 triple8) -> rule5) OR ((triple7 ((triple7) -> rule1)) -> rule5))] Fiona is quiet.[(triple10 OR ((triple8) -> rule4) OR ((((triple7) -> rule1)) -> rule4))] Fiona is round.[(triple11 OR ((triple12) -> rule6) OR ((((triple6) -> rule2)) -> rule6) OR ((((triple7) -> rule3)) -> rule6))] Fiona is white.[(triple12 OR ((triple6) -> rule2) OR ((triple7) -> rule3))] @1: Charlie is nice.[(((triple2 triple3) -> rule5) OR ((triple2 ((triple2) -> rule1)) -> rule5))] Charlie is white.[(((triple1) -> rule2) OR ((triple2) -> rule3))]