Charlie is quiet. Charlie is white. Erin is cold. Erin is furry. Erin is quiet. Erin is red. Erin is round. Erin is smart. Fiona is quiet. Fiona is white. All red, smart people are furry. Round people are smart.
Fiona is not white.
@0: Charlie is quiet.[(triple1)] Charlie is white.[(triple2)] Erin is cold.[(triple3)] Erin is furry.[(triple4 OR ((triple6 triple8) -> rule1) OR ((triple6 ((triple7) -> rule2)) -> rule1))] Erin is quiet.[(triple5)] Erin is red.[(triple6)] Erin is round.[(triple7)] Erin is smart.[(triple8 OR ((triple7) -> rule2))] Fiona is quiet.[(triple9)] Fiona is white.[(triple10)]