Charlie is not quiet. Charlie is young. Fiona is cold. Fiona is not green. Fiona is rough. Gary is cold. Gary is nice. Harry is green. Harry is quiet. Harry is round. If Fiona is not nice then Fiona is young. If someone is quiet then they are cold. All green people are round. All green people are round. Round people are young. If Fiona is round and Fiona is not cold then Fiona is green. If someone is nice and not cold then they are rough. If Charlie is not cold then Charlie is young.
Gary is quiet.
@0: Charlie is not quiet.[(triple1)] Charlie is young.[(triple2)] Fiona is cold.[(triple3)] Fiona is not green.[(triple4)] Fiona is rough.[(triple5)] Gary is cold.[(triple6)] Gary is nice.[(triple7)] Harry is green.[(triple8)] Harry is quiet.[(triple9)] Harry is round.[(triple10 OR ((triple8) -> rule3) OR ((triple8) -> rule4))] @1: Harry is cold.[(((triple9) -> rule2))] Harry is young.[(((triple10) -> rule5) OR ((((triple8) -> rule3)) -> rule5) OR ((((triple8) -> rule4)) -> rule5))]