Anne is cold. Anne is red. Anne is round. Anne is white. Charlie is kind. Charlie is rough. Charlie is round. Dave is red. Dave is round. Fiona is red. All round things are kind. Kind, round things are white. If Dave is cold then Dave is rough.
Dave is quiet.
@0: Anne is cold.[(triple1)] Anne is red.[(triple2)] Anne is round.[(triple3)] Anne is white.[(triple4 OR ((((triple3) -> rule1) triple3) -> rule2))] Charlie is kind.[(triple5 OR ((triple7) -> rule1))] Charlie is rough.[(triple6)] Charlie is round.[(triple7)] Dave is red.[(triple8)] Dave is round.[(triple9)] Fiona is red.[(triple10)] @1: Anne is kind.[(((triple3) -> rule1))] Charlie is white.[(((triple5 triple7) -> rule2) OR ((((triple7) -> rule1) triple7) -> rule2))] Dave is kind.[(((triple9) -> rule1))] @2: Dave is white.[(((((triple9) -> rule1) triple9) -> rule2))]