Charlie is cold. Charlie is round. Charlie is young. Fiona is big. Fiona is rough. Fiona is round. Fiona is young. If Charlie is cold then Charlie is rough. All cold, nice things are smart. All young, nice things are cold. All big things are smart. All big things are rough. If something is nice then it is cold.
Fiona is nice.
@0: Charlie is cold.[(triple1)] Charlie is round.[(triple2)] Charlie is young.[(triple3)] Fiona is big.[(triple4)] Fiona is rough.[(triple5 OR ((triple4) -> rule5))] Fiona is round.[(triple6)] Fiona is young.[(triple7)] @1: Charlie is rough.[(((triple1) -> rule1))] Fiona is smart.[(((triple4) -> rule4))]