Charlie is cold. Charlie is round. Charlie is white. Dave is cold. Dave is furry. Dave is quiet. Dave is white. Dave is young. Fiona is cold. Fiona is furry. Fiona is quiet. Fiona is rough. Fiona is round. Harry is cold. Harry is rough. Harry is round. Rough things are cold. All cold things are rough. If something is rough and young then it is round.
Dave is young.
@0: Charlie is cold.[(triple1)] Charlie is round.[(triple2)] Charlie is white.[(triple3)] Dave is cold.[(triple4)] Dave is furry.[(triple5)] Dave is quiet.[(triple6)] Dave is white.[(triple7)] Dave is young.[(triple8)] Fiona is cold.[(triple9 OR ((triple12) -> rule1))] Fiona is furry.[(triple10)] Fiona is quiet.[(triple11)] Fiona is rough.[(triple12 OR ((triple9) -> rule2))] Fiona is round.[(triple13)] Harry is cold.[(triple14 OR ((triple15) -> rule1))] Harry is rough.[(triple15 OR ((triple14) -> rule2))] Harry is round.[(triple16)] @1: Charlie is rough.[(((triple1) -> rule2))] Dave is rough.[(((triple4) -> rule2))] @2: Dave is round.[(((((triple4) -> rule2) triple8) -> rule3))]