Dave is cold. Dave is kind. Dave is nice. Dave is quiet. Dave is red. Dave is round. Dave is young. Erin is kind. Erin is nice. Erin is quiet. Erin is round. Erin is young. If something is round and nice then it is young.
Erin is not quiet.
@0: Dave is cold.[(triple1)] Dave is kind.[(triple2)] Dave is nice.[(triple3)] Dave is quiet.[(triple4)] Dave is red.[(triple5)] Dave is round.[(triple6)] Dave is young.[(triple7 OR ((triple6 triple3) -> rule1))] Erin is kind.[(triple8)] Erin is nice.[(triple9)] Erin is quiet.[(triple10)] Erin is round.[(triple11)] Erin is young.[(triple12 OR ((triple11 triple9) -> rule1))]