Charlie is not big. Charlie is blue. Charlie is cold. Charlie is kind. Charlie is red. Charlie is rough. Charlie is round. Dave is not big. Dave is blue. Dave is red. Dave is rough. Erin is cold. If Dave is red then Dave is not big. If someone is kind and big then they are round. If someone is kind then they are round.
Erin is blue.
@0: Charlie is blue.[(triple2)] Charlie is cold.[(triple3)] Charlie is kind.[(triple4)] Charlie is not big.[(triple1)] Charlie is red.[(triple5)] Charlie is rough.[(triple6)] Charlie is round.[(triple7 OR ((triple4) -> rule3))] Dave is blue.[(triple9)] Dave is not big.[(triple8 OR ((triple10) -> rule1))] Dave is red.[(triple10)] Dave is rough.[(triple11)] Erin is cold.[(triple12)]