Charlie is cold. Charlie is kind. Charlie is smart. Dave is cold. Dave is green. Dave is quiet. Erin is green. Erin is smart. Harry is green. Harry is kind. Harry is quiet. Harry is smart. All kind, blue things are cold. All smart, kind things are green. All cold things are green. All quiet, green things are smart. If something is blue and not quiet then it is smart. Green, rough things are not smart. All green, blue things are not rough. If something is quiet and not blue then it is rough.
Charlie is quiet.
@0: Charlie is cold.[(triple1)] Charlie is kind.[(triple2)] Charlie is smart.[(triple3)] Dave is cold.[(triple4)] Dave is green.[(triple5 OR ((triple4) -> rule3))] Dave is quiet.[(triple6)] Erin is green.[(triple7)] Erin is smart.[(triple8)] Harry is green.[(triple9 OR ((triple12 triple10) -> rule2))] Harry is kind.[(triple10)] Harry is quiet.[(triple11)] Harry is smart.[(triple12 OR ((triple11 triple9) -> rule4))] @1: Charlie is green.[(((triple1) -> rule3) OR ((triple3 triple2) -> rule2))] Dave is smart.[(((triple6 triple5) -> rule4) OR ((triple6 ((triple4) -> rule3)) -> rule4))]