Anne is cold. Anne is kind. Anne is nice. Bob is kind. Bob is white. Charlie is furry. Erin is big. Erin is cold. Erin is furry. Erin is round. If Anne is white then Anne is kind. Round things are furry. If Anne is furry then Anne is round.
Charlie is not furry.
@0: Anne is cold.[(triple1)] Anne is kind.[(triple2)] Anne is nice.[(triple3)] Bob is kind.[(triple4)] Bob is white.[(triple5)] Charlie is furry.[(triple6)] Erin is big.[(triple7)] Erin is cold.[(triple8)] Erin is furry.[(triple9 OR ((triple10) -> rule2))] Erin is round.[(triple10)]