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