Charlie is rough. Erin is smart. Fiona is round. If Fiona is smart then Fiona is red. If Charlie is rough then Charlie is smart. Rough people are cold. If Charlie is round and Charlie is cold then Charlie is quiet. If someone is rough then they are smart. If someone is big and smart then they are round.
Charlie is not smart.
@0: Charlie is rough.[(triple1)] Erin is smart.[(triple2)] Fiona is round.[(triple3)] @1: Charlie is cold.[(((triple1) -> rule3))] Charlie is smart.[(((triple1) -> rule2) OR ((triple1) -> rule5))]