Dave is cold. Dave is furry. Dave is nice. Erin is blue. Erin is cold. Harry is nice. Harry is white. All cold things are white. If something is blue and smart then it is furry. If something is big then it is nice. White, smart things are nice. White things are cold. All nice, big things are smart.
Harry is white.
@0: Dave is cold.[(triple1)] Dave is furry.[(triple2)] Dave is nice.[(triple3)] Erin is blue.[(triple4)] Erin is cold.[(triple5)] Harry is nice.[(triple6)] Harry is white.[(triple7)] @1: Dave is white.[(((triple1) -> rule1))] Erin is white.[(((triple5) -> rule1))] Harry is cold.[(((triple7) -> rule5))]