Charlie is big. Charlie is cold. Charlie is green. Charlie is kind. Charlie is smart. Charlie is not white. Dave is green. Dave is kind. Dave is round. Dave is smart. Dave is white. Erin is big. Erin is green. Erin is round. Harry is not big. Harry is cold. If something is white and cold then it is not green. Round things are green. If something is cold then it is round.
Erin is cold.
@0: Charlie is big.[(triple1)] Charlie is cold.[(triple2)] Charlie is green.[(triple3 OR ((((triple2) -> rule3)) -> rule2))] Charlie is kind.[(triple4)] Charlie is not white.[(triple6)] Charlie is smart.[(triple5)] Dave is green.[(triple7 OR ((triple9) -> rule2))] Dave is kind.[(triple8)] Dave is round.[(triple9)] Dave is smart.[(triple10)] Dave is white.[(triple11)] Erin is big.[(triple12)] Erin is green.[(triple13 OR ((triple14) -> rule2))] Erin is round.[(triple14)] Harry is cold.[(triple16)] Harry is not big.[(triple15)] @1: Charlie is round.[(((triple2) -> rule3))] Harry is round.[(((triple16) -> rule3))] @2: Harry is green.[(((((triple16) -> rule3)) -> rule2))]