Dave is nice. Dave is quiet. Dave is rough. Dave is round. Dave is white. Dave is not young. Erin is blue. Erin is quiet. Erin is not young. Harry is blue. Harry is quiet. Harry is round. If something is blue then it is rough.
Harry is young.
@0: Dave is nice.[(triple1)] Dave is not young.[(triple6)] Dave is quiet.[(triple2)] Dave is rough.[(triple3)] Dave is round.[(triple4)] Dave is white.[(triple5)] Erin is blue.[(triple7)] Erin is not young.[(triple9)] Erin is quiet.[(triple8)] Harry is blue.[(triple10)] Harry is quiet.[(triple11)] Harry is round.[(triple12)] @1: Erin is rough.[(((triple7) -> rule1))] Harry is rough.[(((triple10) -> rule1))]