Bob is rough. Charlie is quiet. Charlie is round. Charlie is smart. Charlie is young. Dave is big. Dave is cold. Dave is quiet. Dave is rough. Dave is round. Dave is smart. Dave is not young. Harry is cold. Harry is round. Harry is smart. Harry is young. Smart people are quiet. All big, young people are quiet. If someone is round then they are smart. All quiet, rough people are round. Smart people are rough. If someone is smart and not round then they are cold.
Charlie is not young.
@0: Bob is rough.[(triple1)] Charlie is quiet.[(triple2 OR ((triple4) -> rule1) OR ((((triple3) -> rule3)) -> rule1))] Charlie is round.[(triple3 OR ((triple2 ((triple4) -> rule5)) -> rule4) OR ((((triple4) -> rule1) ((triple4) -> rule5)) -> rule4))] Charlie is smart.[(triple4 OR ((triple3) -> rule3))] Charlie is young.[(triple5)] Dave is big.[(triple6)] Dave is cold.[(triple7)] Dave is not young.[(triple12)] Dave is quiet.[(triple8 OR ((triple11) -> rule1) OR ((((triple10) -> rule3)) -> rule1))] Dave is rough.[(triple9 OR ((triple11) -> rule5) OR ((((triple10) -> rule3)) -> rule5))] Dave is round.[(triple10 OR ((triple8 triple9) -> rule4) OR ((triple8 ((triple11) -> rule5)) -> rule4) OR ((((triple11) -> rule1) triple9) -> rule4) OR ((((triple11) -> rule1) ((triple11) -> rule5)) -> rule4))] Dave is smart.[(triple11 OR ((triple10) -> rule3) OR ((((triple8 triple9) -> rule4)) -> rule3))] Harry is cold.[(triple13)] Harry is round.[(triple14 OR ((((triple15) -> rule1) ((triple15) -> rule5)) -> rule4))] Harry is smart.[(triple15 OR ((triple14) -> rule3))] Harry is young.[(triple16)] @1: Charlie is rough.[(((triple4) -> rule5) OR ((((triple3) -> rule3)) -> rule5))] Harry is quiet.[(((triple15) -> rule1) OR ((((triple14) -> rule3)) -> rule1))] Harry is rough.[(((triple15) -> rule5) OR ((((triple14) -> rule3)) -> rule5))]