Anne is young. Dave is big. Dave is furry. Dave is young. Erin is big. Erin is furry. Erin is quiet. Erin is rough. Erin is white. Harry is big. Harry is furry. Harry is quiet. Harry is red. Harry is rough. Harry is white. Harry is young. White things are young.
Erin is not young.
@0: Anne is young.[(triple1)] Dave is big.[(triple2)] Dave is furry.[(triple3)] Dave is young.[(triple4)] Erin is big.[(triple5)] Erin is furry.[(triple6)] Erin is quiet.[(triple7)] Erin is rough.[(triple8)] Erin is white.[(triple9)] Harry is big.[(triple10)] Harry is furry.[(triple11)] Harry is quiet.[(triple12)] Harry is red.[(triple13)] Harry is rough.[(triple14)] Harry is white.[(triple15)] Harry is young.[(triple16 OR ((triple15) -> rule1))] @1: Erin is young.[(((triple9) -> rule1))]