Bob is white. Charlie is furry. Charlie is kind. Dave is cold. Dave is smart. Gary is red. Gary is white. Green, furry things are smart. If Charlie is white then Charlie is green. White things are kind. Cold, smart things are red. All furry things are cold. If Bob is kind and Bob is furry then Bob is smart. If something is cold and kind then it is white.
Charlie is green.
@0: Bob is white.[(triple1)] Charlie is furry.[(triple2)] Charlie is kind.[(triple3)] Dave is cold.[(triple4)] Dave is smart.[(triple5)] Gary is red.[(triple6)] Gary is white.[(triple7)] @1: Bob is kind.[(((triple1) -> rule3))] Charlie is cold.[(((triple2) -> rule5))] Dave is red.[(((triple4 triple5) -> rule4))] Gary is kind.[(((triple7) -> rule3))] @2: Charlie is white.[(((((triple2) -> rule5) triple3) -> rule7))] @3: Charlie is green.[(((((((triple2) -> rule5) triple3) -> rule7)) -> rule2))] @4: Charlie is smart.[(((((((((triple2) -> rule5) triple3) -> rule7)) -> rule2) triple2) -> rule1))] @5: Charlie is red.[(((((triple2) -> rule5) ((((((((triple2) -> rule5) triple3) -> rule7)) -> rule2) triple2) -> rule1)) -> rule4))]