Anne is smart. Charlie is big. Charlie is red. Charlie is rough. Fiona is quiet. Fiona is rough. Fiona is round. All quiet, smart people are rough. Red people are big. Rough people are round.
Anne is cold.
@0: Anne is smart.[(triple1)] Charlie is big.[(triple2 OR ((triple3) -> rule2))] Charlie is red.[(triple3)] Charlie is rough.[(triple4)] Fiona is quiet.[(triple5)] Fiona is rough.[(triple6)] Fiona is round.[(triple7 OR ((triple6) -> rule3))] @1: Charlie is round.[(((triple4) -> rule3))]