Erin is blue. Erin is cold. Erin is round. Erin is young. Gary is cold. Gary is round. Gary is smart. If something is young and not blue then it is furry. If something is round then it is not furry. If Gary is furry then Gary is young.
Erin is blue.
@0: Erin is blue.[(triple1)] Erin is cold.[(triple2)] Erin is round.[(triple3)] Erin is young.[(triple4)] Gary is cold.[(triple5)] Gary is round.[(triple6)] Gary is smart.[(triple7)] @1: Erin is not furry.[(((triple3) -> rule2))] Gary is not furry.[(((triple6) -> rule2))]