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