Charlie is kind. Charlie is red. Charlie is white. Dave is quiet. Dave is red. Dave is rough. Dave is white. Erin is rough. Fiona is kind. Fiona is quiet. If something is white then it is red. All young, rough things are white. Quiet, blue things are red. Red, kind things are blue. If Charlie is blue then Charlie is kind. If something is young and kind then it is quiet.
Dave is kind.
@0: Charlie is kind.[(triple1)] Charlie is red.[(triple2 OR ((triple3) -> rule1))] Charlie is white.[(triple3)] Dave is quiet.[(triple4)] Dave is red.[(triple5 OR ((triple7) -> rule1))] Dave is rough.[(triple6)] Dave is white.[(triple7)] Erin is rough.[(triple8)] Fiona is kind.[(triple9)] Fiona is quiet.[(triple10)] @1: Charlie is blue.[(((triple2 triple1) -> rule4) OR ((((triple3) -> rule1) triple1) -> rule4))]