Bob is cold. Bob is furry. Bob is green. Bob is kind. Bob is white. Gary is big. Gary is furry. Gary is not green. Gary is kind. Gary is smart. If someone is green and not furry then they are not kind. All green, white people are kind. All cold people are green. Big, cold people are white. Cold people are not big. If someone is green and not white then they are smart.
Bob is not furry.
@0: Bob is cold.[(triple1)] Bob is furry.[(triple2)] Bob is green.[(triple3 OR ((triple1) -> rule3))] Bob is kind.[(triple4 OR ((triple3 triple5) -> rule2) OR ((((triple1) -> rule3) triple5) -> rule2))] Bob is white.[(triple5)] Gary is big.[(triple6)] Gary is furry.[(triple7)] Gary is kind.[(triple9)] Gary is not green.[(triple8)] Gary is smart.[(triple10)] @1: Bob is not big.[(((triple1) -> rule5))]