Charlie is big. Charlie is cold. Charlie is furry. Charlie is not red. Charlie is rough. Charlie is smart. Charlie is young. Dave is big. Dave is smart. Fiona is big. Fiona is cold. Fiona is furry. Big, young people are smart. If someone is cold and not smart then they are red.
Charlie is not young.
@0: Charlie is big.[(triple1)] Charlie is cold.[(triple2)] Charlie is furry.[(triple3)] Charlie is not red.[(triple4)] Charlie is rough.[(triple5)] Charlie is smart.[(triple6 OR ((triple1 triple7) -> rule1))] Charlie is young.[(triple7)] Dave is big.[(triple8)] Dave is smart.[(triple9)] Fiona is big.[(triple10)] Fiona is cold.[(triple11)] Fiona is furry.[(triple12)]