Charlie is cold. Charlie is kind. Charlie is quiet. Charlie is red. Dave is big. Dave is cold. Dave is kind. Dave is quiet. Dave is red. Dave is round. Dave is young. Erin is big. Erin is kind. Erin is red. Erin is round. Erin is young. If Charlie is round then Charlie is quiet. If someone is cold and kind then they are big.
Charlie is round.
@0: Charlie is cold.[(triple1)] Charlie is kind.[(triple2)] Charlie is quiet.[(triple3)] Charlie is red.[(triple4)] Dave is big.[(triple5 OR ((triple6 triple7) -> rule2))] Dave is cold.[(triple6)] Dave is kind.[(triple7)] Dave is quiet.[(triple8)] Dave is red.[(triple9)] Dave is round.[(triple10)] Dave is young.[(triple11)] Erin is big.[(triple12)] Erin is kind.[(triple13)] Erin is red.[(triple14)] Erin is round.[(triple15)] Erin is young.[(triple16)] @1: Charlie is big.[(((triple1 triple2) -> rule2))]