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