Charlie is big. Charlie is round. Charlie is young. Dave is round. Erin is green. Erin is young. Harry is big. Harry is cold. Harry is green. Harry is quiet. Harry is round. Harry is young. If Erin is cold and Erin is round then Erin is young. Quiet, round people are green. Quiet people are young.
Charlie is not big.
@0: Charlie is big.[(triple1)] Charlie is round.[(triple2)] Charlie is young.[(triple3)] Dave is round.[(triple4)] Erin is green.[(triple5)] Erin is young.[(triple6)] Harry is big.[(triple7)] Harry is cold.[(triple8)] Harry is green.[(triple9 OR ((triple10 triple11) -> rule2))] Harry is quiet.[(triple10)] Harry is round.[(triple11)] Harry is young.[(triple12 OR ((triple10) -> rule3))]