Bob is not blue. Bob is furry. Bob is not green. Bob is white. Charlie is not blue. Charlie is not green. Charlie is kind. Charlie is not smart. Erin is big. Erin is not blue. Erin is not furry. Erin is smart. Gary is big. Gary is green. Gary is kind. Gary is smart. Furry, smart people are not white. If Gary is smart then Gary is blue. All blue, smart people are furry.
Bob is not smart.
@0: Bob is furry.[(triple2)] Bob is not blue.[(triple1)] Bob is not green.[(triple3)] Bob is white.[(triple4)] Charlie is kind.[(triple7)] Charlie is not blue.[(triple5)] Charlie is not green.[(triple6)] Charlie is not smart.[(triple8)] Erin is big.[(triple9)] Erin is not blue.[(triple10)] Erin is not furry.[(triple11)] Erin is smart.[(triple12)] Gary is big.[(triple13)] Gary is green.[(triple14)] Gary is kind.[(triple15)] Gary is smart.[(triple16)] @1: Gary is blue.[(((triple16) -> rule2))] @2: Gary is furry.[(((((triple16) -> rule2) triple16) -> rule3))] @3: Gary is not white.[(((((((triple16) -> rule2) triple16) -> rule3) triple16) -> rule1))]