Dave is furry. Dave is kind. Dave is quiet. Dave is young. Erin is blue. Erin is green. Erin is kind. Erin is quiet. Erin is round. Erin is not young. Harry is blue. Harry is green. Harry is quiet. Harry is round. Harry is young. If Dave is green then Dave is quiet. If Harry is blue then Harry is furry.
Dave is not round.
@0: Dave is furry.[(triple1)] Dave is kind.[(triple2)] Dave is quiet.[(triple3)] Dave is young.[(triple4)] Erin is blue.[(triple5)] Erin is green.[(triple6)] Erin is kind.[(triple7)] Erin is not young.[(triple10)] Erin is quiet.[(triple8)] Erin is round.[(triple9)] Harry is blue.[(triple11)] Harry is green.[(triple12)] Harry is quiet.[(triple13)] Harry is round.[(triple14)] Harry is young.[(triple15)] @1: Harry is furry.[(((triple11) -> rule2))]