Charlie is cold. Charlie is quiet. Charlie is red. Charlie is white. Charlie is young. Fiona is cold. Fiona is nice. Fiona is not quiet. Fiona is red. Fiona is not smart. Fiona is not white. Fiona is young. If someone is nice and young then they are cold. If Charlie is white and Charlie is smart then Charlie is not nice. If someone is smart and not nice then they are red.
Charlie is not smart.
@0: Charlie is cold.[(triple1)] Charlie is quiet.[(triple2)] Charlie is red.[(triple3)] Charlie is white.[(triple4)] Charlie is young.[(triple5)] Fiona is cold.[(triple6 OR ((triple7 triple12) -> rule1))] Fiona is nice.[(triple7)] Fiona is not quiet.[(triple8)] Fiona is not smart.[(triple10)] Fiona is not white.[(triple11)] Fiona is red.[(triple9)] Fiona is young.[(triple12)]