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