Bob is big. Bob is not blue. Bob is quiet. Bob is round. Bob is young. Charlie is not big. Charlie is quiet. Charlie is rough. Charlie is smart. Charlie is young. Erin is big. Erin is quiet. Erin is not rough. Erin is not round. Erin is smart. Erin is young. If Charlie is smart and Charlie is young then Charlie is round.
Charlie is round.
@0: Bob is big.[(triple1)] Bob is not blue.[(triple2)] Bob is quiet.[(triple3)] Bob is round.[(triple4)] Bob is young.[(triple5)] Charlie is not big.[(triple6)] Charlie is quiet.[(triple7)] Charlie is rough.[(triple8)] Charlie is smart.[(triple9)] Charlie is young.[(triple10)] Erin is big.[(triple11)] Erin is not rough.[(triple13)] Erin is not round.[(triple14)] Erin is quiet.[(triple12)] Erin is smart.[(triple15)] Erin is young.[(triple16)] @1: Charlie is round.[(((triple9 triple10) -> rule1))]