Charlie is cold. Charlie is quiet. Charlie is young. Erin is big. Fiona is big. Fiona is cold. Fiona is white. All big, smart people are rough. Cold people are young. Smart people are quiet. Big people are cold. White people are quiet. All big people are quiet.
Fiona is cold.
@0: Charlie is cold.[(triple1)] Charlie is quiet.[(triple2)] Charlie is young.[(triple3 OR ((triple1) -> rule2))] Erin is big.[(triple4)] Fiona is big.[(triple5)] Fiona is cold.[(triple6 OR ((triple5) -> rule4))] Fiona is white.[(triple7)] @1: Erin is cold.[(((triple4) -> rule4))] Erin is quiet.[(((triple4) -> rule6))] Fiona is quiet.[(((triple5) -> rule6) OR ((triple7) -> rule5))] Fiona is young.[(((triple6) -> rule2) OR ((((triple5) -> rule4)) -> rule2))] @2: Erin is young.[(((((triple4) -> rule4)) -> rule2))]