Charlie is not big. Charlie is blue. Charlie is round. Dave is big. Dave is blue. Dave is cold. Dave is green. Dave is not rough. Dave is round. Dave is young. Fiona is big. Fiona is cold. Fiona is green. Fiona is rough. Fiona is not round. Fiona is young. If Fiona is young and Fiona is not blue then Fiona is not rough. If something is young and not blue then it is round. If something is young then it is green. If Charlie is not blue then Charlie is not cold. If something is round then it is cold. If something is rough and not green then it is big.
Charlie is round.
@0: Charlie is blue.[(triple2)] Charlie is not big.[(triple1)] Charlie is round.[(triple3)] Dave is big.[(triple4)] Dave is blue.[(triple5)] Dave is cold.[(triple6 OR ((triple9) -> rule5))] Dave is green.[(triple7 OR ((triple10) -> rule3))] Dave is not rough.[(triple8)] Dave is round.[(triple9)] Dave is young.[(triple10)] Fiona is big.[(triple11)] Fiona is cold.[(triple12)] Fiona is green.[(triple13 OR ((triple16) -> rule3))] Fiona is not round.[(triple15)] Fiona is rough.[(triple14)] Fiona is young.[(triple16)] @1: Charlie is cold.[(((triple3) -> rule5))]