Dave is cold. Dave is nice. Dave is not quiet. Dave is rough. Dave is smart. Erin is big. Erin is nice. Erin is quiet. Erin is rough. Fiona is nice. Nice things are rough.
Dave is not cold.
@0: Dave is cold.[(triple1)] Dave is nice.[(triple2)] Dave is not quiet.[(triple3)] Dave is rough.[(triple4 OR ((triple2) -> rule1))] Dave is smart.[(triple5)] Erin is big.[(triple6)] Erin is nice.[(triple7)] Erin is quiet.[(triple8)] Erin is rough.[(triple9 OR ((triple7) -> rule1))] Fiona is nice.[(triple10)] @1: Fiona is rough.[(((triple10) -> rule1))]