Charlie is quiet. Charlie is round. Charlie is smart. Erin is cold. Fiona is rough. Gary is blue. Gary is cold. All rough things are quiet. If Fiona is kind then Fiona is smart. If Fiona is quiet and Fiona is smart then Fiona is kind.
Charlie is cold.
@0: Charlie is quiet.[(triple1)] Charlie is round.[(triple2)] Charlie is smart.[(triple3)] Erin is cold.[(triple4)] Fiona is rough.[(triple5)] Gary is blue.[(triple6)] Gary is cold.[(triple7)] @1: Fiona is quiet.[(((triple5) -> rule1))]