Dave is big. Dave is green. Dave is round. Dave is white. Erin is big. Erin is not cold. Erin is green. Erin is kind. Erin is rough. Erin is white. If something is round then it is big. If Dave is not kind then Dave is big. If something is big then it is round.
Dave is not big.
@0: Dave is big.[(triple1 OR ((triple3) -> rule1))] Dave is green.[(triple2)] Dave is round.[(triple3 OR ((triple1) -> rule3))] Dave is white.[(triple4)] Erin is big.[(triple5)] Erin is green.[(triple7)] Erin is kind.[(triple8)] Erin is not cold.[(triple6)] Erin is rough.[(triple9)] Erin is white.[(triple10)] @1: Erin is round.[(((triple5) -> rule3))]