Bob is blue. Bob is not furry. Bob is red. Bob is not white. Erin is blue. Erin is not cold. Erin is furry. Erin is green. Erin is white. Harry is blue. Harry is cold. Harry is not green. All white things are not nice. If something is green and not blue then it is not nice. If something is red then it is cold. Nice, furry things are cold. All nice things are not green. Furry things are green. Red things are green. If Bob is green and Bob is not blue then Bob is nice.
Erin is not furry.
@0: Bob is blue.[(triple1)] Bob is not furry.[(triple2)] Bob is not white.[(triple4)] Bob is red.[(triple3)] Erin is blue.[(triple5)] Erin is furry.[(triple7)] Erin is green.[(triple8 OR ((triple7) -> rule6))] Erin is not cold.[(triple6)] Erin is white.[(triple9)] Harry is blue.[(triple10)] Harry is cold.[(triple11)] Harry is not green.[(triple12)] @1: Bob is cold.[(((triple3) -> rule3))] Bob is green.[(((triple3) -> rule7))] Erin is not nice.[(((triple9) -> rule1))]