Dave is young. Erin is rough. Fiona is cold. Gary is round. If something is rough then it is furry. If something is rough then it is white. If Gary is white and Gary is rough then Gary is green. All cold, rough things are young. All young, white things are round. If Fiona is green then Fiona is rough.
Dave is not young.
@0: Dave is young.[(triple1)] Erin is rough.[(triple2)] Fiona is cold.[(triple3)] Gary is round.[(triple4)] @1: Erin is furry.[(((triple2) -> rule1))] Erin is white.[(((triple2) -> rule2))]