Charlie is nice. Erin is cold. Erin is nice. Gary is cold. Gary is nice. Gary is round. Gary is young. Round people are red. If Charlie is furry then Charlie is round.
Erin is not red.
@0: Charlie is nice.[(triple1)] Erin is cold.[(triple2)] Erin is nice.[(triple3)] Gary is cold.[(triple4)] Gary is nice.[(triple5)] Gary is round.[(triple6)] Gary is young.[(triple7)] @1: Gary is red.[(((triple6) -> rule1))]