Bob is big. Bob is not cold. Bob is not furry. Bob is not green. Bob is kind. Bob is smart. Bob is not young. All furry things are not smart. If something is kind and not young then it is smart. All green things are cold.
Bob is young.
@0: Bob is big.[(triple1)] Bob is kind.[(triple5)] Bob is not cold.[(triple2)] Bob is not furry.[(triple3)] Bob is not green.[(triple4)] Bob is not young.[(triple7)] Bob is smart.[(triple6 OR ((triple5 triple7) -> rule2))]