Charlie is blue. Charlie is round. Dave is furry. Dave is round. Erin is blue. Erin is furry. Erin is white. Gary is cold. Gary is nice. Gary is round. If Gary is blue and Gary is furry then Gary is cold. All white things are round. If something is round and white then it is blue.
Charlie is white.
@0: Charlie is blue.[(triple1)] Charlie is round.[(triple2)] Dave is furry.[(triple3)] Dave is round.[(triple4)] Erin is blue.[(triple5 OR ((((triple7) -> rule2) triple7) -> rule3))] Erin is furry.[(triple6)] Erin is white.[(triple7)] Gary is cold.[(triple8)] Gary is nice.[(triple9)] Gary is round.[(triple10)] @1: Erin is round.[(((triple7) -> rule2))]