Erin is rough. Erin is white. Fiona is cold. Fiona is kind. Fiona is quiet. Gary is cold. Gary is white. Cold people are quiet. If Gary is rough then Gary is blue. If Gary is kind and Gary is quiet then Gary is rough. All rough, white people are kind. If Fiona is young and Fiona is white then Fiona is kind. White people are cold.
Gary is young.
@0: Erin is rough.[(triple1)] Erin is white.[(triple2)] Fiona is cold.[(triple3)] Fiona is kind.[(triple4)] Fiona is quiet.[(triple5 OR ((triple3) -> rule1))] Gary is cold.[(triple6 OR ((triple7) -> rule6))] Gary is white.[(triple7)] @1: Erin is cold.[(((triple2) -> rule6))] Erin is kind.[(((triple1 triple2) -> rule4))] Gary is quiet.[(((triple6) -> rule1) OR ((((triple7) -> rule6)) -> rule1))] @2: Erin is quiet.[(((((triple2) -> rule6)) -> rule1))]