Charlie is kind. Charlie is round. Charlie is young. Dave is rough. Dave is smart. Dave is young. Erin is big. Erin is kind. Erin is rough. Erin is smart. Harry is big. Harry is kind. Harry is quiet. Harry is smart. Harry is young. If Charlie is rough and Charlie is big then Charlie is quiet. If Charlie is not young then Charlie is quiet. If something is round then it is kind.
Dave is not young.
@0: Charlie is kind.[(triple1 OR ((triple2) -> rule3))] Charlie is round.[(triple2)] Charlie is young.[(triple3)] Dave is rough.[(triple4)] Dave is smart.[(triple5)] Dave is young.[(triple6)] Erin is big.[(triple7)] Erin is kind.[(triple8)] Erin is rough.[(triple9)] Erin is smart.[(triple10)] Harry is big.[(triple11)] Harry is kind.[(triple12)] Harry is quiet.[(triple13)] Harry is smart.[(triple14)] Harry is young.[(triple15)]