Dave is young. Erin is big. Fiona is kind. Gary is red. If Erin is rough then Erin is cold. Big things are not rough. If something is rough and not cold then it is young.
Fiona is white.
@0: Dave is young.[(triple1)] Erin is big.[(triple2)] Fiona is kind.[(triple3)] Gary is red.[(triple4)] @1: Erin is not rough.[(((triple2) -> rule2))]