Dave is big. Dave is blue. Dave is cold. Dave is quiet. Dave is not red. Dave is not rough. Dave is not young. Erin is big. Erin is blue. Erin is cold. Erin is quiet. Erin is not red. Erin is not rough. Erin is young. If Erin is rough then Erin is young. If someone is red then they are quiet. Big people are blue. Red people are young. All rough people are red. All red people are rough.
Erin is not quiet.
@0: Dave is big.[(triple1)] Dave is blue.[(triple2 OR ((triple1) -> rule3))] Dave is cold.[(triple3)] Dave is not red.[(triple5)] Dave is not rough.[(triple6)] Dave is not young.[(triple7)] Dave is quiet.[(triple4)] Erin is big.[(triple8)] Erin is blue.[(triple9 OR ((triple8) -> rule3))] Erin is cold.[(triple10)] Erin is not red.[(triple12)] Erin is not rough.[(triple13)] Erin is quiet.[(triple11)] Erin is young.[(triple14)]