Charlie is round. Dave is green. Dave is kind. Dave is quiet. Dave is round. Dave is young. Fiona is not kind. Fiona is rough. Fiona is young. Harry is young. Kind, round things are rough. If Dave is round then Dave is quiet. Kind, young things are quiet. Round things are kind. If Charlie is rough and Charlie is kind then Charlie is cold. If something is cold and quiet then it is green. If something is rough and not quiet then it is green. If something is round then it is green.
Charlie is not young.
@0: Charlie is round.[(triple1)] Dave is green.[(triple2 OR ((triple5) -> rule8))] Dave is kind.[(triple3 OR ((triple5) -> rule4))] Dave is quiet.[(triple4 OR ((triple5) -> rule2) OR ((triple3 triple6) -> rule3) OR ((((triple5) -> rule4) triple6) -> rule3))] Dave is round.[(triple5)] Dave is young.[(triple6)] Fiona is not kind.[(triple7)] Fiona is rough.[(triple8)] Fiona is young.[(triple9)] Harry is young.[(triple10)] @1: Charlie is green.[(((triple1) -> rule8))] Charlie is kind.[(((triple1) -> rule4))] Dave is rough.[(((triple3 triple5) -> rule1) OR ((((triple5) -> rule4) triple5) -> rule1))] @2: Charlie is rough.[(((((triple1) -> rule4) triple1) -> rule1))] @3: Charlie is cold.[(((((((triple1) -> rule4) triple1) -> rule1) ((triple1) -> rule4)) -> rule5))]