Charlie is big. Charlie is cold. Charlie is not nice. Charlie is white. Charlie is young. Fiona is cold. Fiona is nice. Fiona is rough. Fiona is white. Fiona is young. If Charlie is not cold then Charlie is young. All cold, young people are not kind. If someone is cold then they are rough.
Charlie is white.
@0: Charlie is big.[(triple1)] Charlie is cold.[(triple2)] Charlie is not nice.[(triple3)] Charlie is white.[(triple4)] Charlie is young.[(triple5)] Fiona is cold.[(triple6)] Fiona is nice.[(triple7)] Fiona is rough.[(triple8 OR ((triple6) -> rule3))] Fiona is white.[(triple9)] Fiona is young.[(triple10)] @1: Charlie is not kind.[(((triple2 triple5) -> rule2))] Charlie is rough.[(((triple2) -> rule3))] Fiona is not kind.[(((triple6 triple10) -> rule2))]