Charlie is blue. Charlie is cold. Charlie is furry. Charlie is quiet. Charlie is rough. Charlie is round. Erin is not blue. Erin is cold. Erin is not furry. Erin is not quiet. Erin is not round. Erin is smart. If Charlie is round then Charlie is smart. All rough things are round. All furry things are smart. If something is rough and not round then it is not furry. All rough things are blue. Furry things are blue. Cold, furry things are quiet. If something is round and not smart then it is not cold.
Charlie is not rough.
@0: Charlie is blue.[(triple1 OR ((triple3) -> rule6) OR ((triple5) -> rule5))] Charlie is cold.[(triple2)] Charlie is furry.[(triple3)] Charlie is quiet.[(triple4 OR ((triple2 triple3) -> rule7))] Charlie is rough.[(triple5)] Charlie is round.[(triple6 OR ((triple5) -> rule2))] Erin is cold.[(triple8)] Erin is not blue.[(triple7)] Erin is not furry.[(triple9)] Erin is not quiet.[(triple10)] Erin is not round.[(triple11)] Erin is smart.[(triple12)] @1: Charlie is smart.[(((triple3) -> rule3) OR ((triple6) -> rule1) OR ((((triple5) -> rule2)) -> rule1))]