Dave is not cold. Dave is quiet. Dave is rough. Dave is young. Erin is cold. Erin is kind. Erin is nice. Erin is rough. Erin is young. Fiona is cold. Fiona is nice. Fiona is not rough. If something is quiet and rough then it is young. Young, kind things are furry.
Dave is nice.
@0: Dave is not cold.[(triple1)] Dave is quiet.[(triple2)] Dave is rough.[(triple3)] Dave is young.[(triple4 OR ((triple2 triple3) -> rule1))] Erin is cold.[(triple5)] Erin is kind.[(triple6)] Erin is nice.[(triple7)] Erin is rough.[(triple8)] Erin is young.[(triple9)] Fiona is cold.[(triple10)] Fiona is nice.[(triple11)] Fiona is not rough.[(triple12)] @1: Erin is furry.[(((triple9 triple6) -> rule2))]