Bob is not cold. Bob is green. Bob is not nice. Bob is not quiet. Bob is smart. Charlie is green. Charlie is not nice. Charlie is quiet. Charlie is not smart. Charlie is young. Fiona is quiet. Fiona is not smart. Fiona is young. Harry is green. Harry is nice. If Charlie is young then Charlie is green. All smart, young people are not green. If Charlie is nice then Charlie is not rough. All cold people are rough. All rough people are cold. If someone is quiet and not young then they are not cold. If someone is nice and young then they are quiet. If someone is smart and not green then they are not quiet.
Fiona is quiet.
@0: Bob is green.[(triple2)] Bob is not cold.[(triple1)] Bob is not nice.[(triple3)] Bob is not quiet.[(triple4)] Bob is smart.[(triple5)] Charlie is green.[(triple6 OR ((triple10) -> rule1))] Charlie is not nice.[(triple7)] Charlie is not smart.[(triple9)] Charlie is quiet.[(triple8)] Charlie is young.[(triple10)] Fiona is not smart.[(triple12)] Fiona is quiet.[(triple11)] Fiona is young.[(triple13)] Harry is green.[(triple14)] Harry is nice.[(triple15)]