Dave is big. Dave is kind. Dave is quiet. Dave is white. Erin is kind. Erin is quiet. Erin is round. Gary is furry. Gary is kind. Gary is quiet. Gary is round. Gary is white. If Erin is round and Erin is white then Erin is quiet. All round things are quiet.
Dave is not white.
@0: Dave is big.[(triple1)] Dave is kind.[(triple2)] Dave is quiet.[(triple3)] Dave is white.[(triple4)] Erin is kind.[(triple5)] Erin is quiet.[(triple6 OR ((triple7) -> rule2))] Erin is round.[(triple7)] Gary is furry.[(triple8)] Gary is kind.[(triple9)] Gary is quiet.[(triple10 OR ((triple11) -> rule2))] Gary is round.[(triple11)] Gary is white.[(triple12)]