Bob is big. Bob is cold. Charlie is cold. Charlie is not kind. Charlie is rough. Erin is furry. Erin is nice. Blue things are not kind. Nice things are not kind. If something is nice and big then it is blue. Kind, blue things are furry. If Charlie is rough and Charlie is nice then Charlie is not blue. All nice, furry things are not rough.
Charlie is not furry.
@0: Bob is big.[(triple1)] Bob is cold.[(triple2)] Charlie is cold.[(triple3)] Charlie is not kind.[(triple4)] Charlie is rough.[(triple5)] Erin is furry.[(triple6)] Erin is nice.[(triple7)] @1: Erin is not kind.[(((triple7) -> rule2))] Erin is not rough.[(((triple7 triple6) -> rule6))]