Charlie is kind. Charlie is quiet. Charlie is round. Dave is kind. Fiona is round. Harry is cold. Harry is kind. If something is cold then it is round. If something is kind then it is green. All green things are cold.
Fiona is rough.
@0: Charlie is kind.[(triple1)] Charlie is quiet.[(triple2)] Charlie is round.[(triple3 OR ((((((triple1) -> rule2)) -> rule3)) -> rule1))] Dave is kind.[(triple4)] Fiona is round.[(triple5)] Harry is cold.[(triple6 OR ((((triple7) -> rule2)) -> rule3))] Harry is kind.[(triple7)] @1: Charlie is green.[(((triple1) -> rule2))] Dave is green.[(((triple4) -> rule2))] Harry is green.[(((triple7) -> rule2))] Harry is round.[(((triple6) -> rule1) OR ((((((triple7) -> rule2)) -> rule3)) -> rule1))] @2: Charlie is cold.[(((((triple1) -> rule2)) -> rule3))] Dave is cold.[(((((triple4) -> rule2)) -> rule3))] @3: Dave is round.[(((((((triple4) -> rule2)) -> rule3)) -> rule1))]