Charlie is cold. Charlie is kind. Erin is not cold. Erin is kind. Erin is nice. Erin is smart. Erin is white. Gary is kind. Harry is cold. Harry is rough. If Charlie is rough and Charlie is white then Charlie is not smart. Cold, smart things are quiet. Rough things are smart. If something is cold then it is rough. Quiet, kind things are nice. If something is quiet and nice then it is not white.
Charlie is quiet.
@0: Charlie is cold.[(triple1)] Charlie is kind.[(triple2)] Erin is kind.[(triple4)] Erin is nice.[(triple5)] Erin is not cold.[(triple3)] Erin is smart.[(triple6)] Erin is white.[(triple7)] Gary is kind.[(triple8)] Harry is cold.[(triple9)] Harry is rough.[(triple10 OR ((triple9) -> rule4))] @1: Charlie is rough.[(((triple1) -> rule4))] Harry is smart.[(((triple10) -> rule3) OR ((((triple9) -> rule4)) -> rule3))] @2: Charlie is smart.[(((((triple1) -> rule4)) -> rule3))] Harry is quiet.[(((triple9 ((triple10) -> rule3)) -> rule2) OR ((triple9 ((((triple9) -> rule4)) -> rule3)) -> rule2))] @3: Charlie is quiet.[(((triple1 ((((triple1) -> rule4)) -> rule3)) -> rule2))] @4: Charlie is nice.[(((((triple1 ((((triple1) -> rule4)) -> rule3)) -> rule2) triple2) -> rule5))] @5: Charlie is not white.[(((((triple1 ((((triple1) -> rule4)) -> rule3)) -> rule2) ((((triple1 ((((triple1) -> rule4)) -> rule3)) -> rule2) triple2) -> rule5)) -> rule6))]