Anne is red. Charlie is big. Charlie is cold. Charlie is kind. Charlie is red. Erin is round. Gary is big. Gary is furry. Gary is kind. Gary is white. If something is round then it is furry. If something is furry then it is round. All white, red things are round. If something is red and big then it is kind. If Charlie is big then Charlie is white. Furry, red things are round.
Anne is round.
@0: Anne is red.[(triple1)] Charlie is big.[(triple2)] Charlie is cold.[(triple3)] Charlie is kind.[(triple4 OR ((triple5 triple2) -> rule4))] Charlie is red.[(triple5)] Erin is round.[(triple6)] Gary is big.[(triple7)] Gary is furry.[(triple8)] Gary is kind.[(triple9)] Gary is white.[(triple10)] @1: Charlie is white.[(((triple2) -> rule5))] Erin is furry.[(((triple6) -> rule1))] Gary is round.[(((triple8) -> rule2))] @2: Charlie is round.[(((((triple2) -> rule5) triple5) -> rule3))] @3: Charlie is furry.[(((((((triple2) -> rule5) triple5) -> rule3)) -> rule1))]