Dave is blue. Dave is cold. Dave is rough. Dave is not smart. Dave is white. Erin is blue. Erin is cold. Erin is not furry. Erin is not rough. Erin is smart. Erin is white. Harry is cold. Harry is furry. Harry is rough. Harry is white. If Erin is cold then Erin is smart. Furry, blue people are not cold. All smart, white people are not furry. Young people are smart. Smart, furry people are blue. If someone is blue then they are white. If someone is smart and not young then they are not rough. If someone is white and not blue then they are rough.
Harry is not blue.
@0: Dave is blue.[(triple1)] Dave is cold.[(triple2)] Dave is not smart.[(triple4)] Dave is rough.[(triple3)] Dave is white.[(triple5 OR ((triple1) -> rule6))] Erin is blue.[(triple6)] Erin is cold.[(triple7)] Erin is not furry.[(triple8 OR ((triple10 triple11) -> rule3) OR ((triple10 ((triple6) -> rule6)) -> rule3) OR ((((triple7) -> rule1) triple11) -> rule3) OR ((((triple7) -> rule1) ((triple6) -> rule6)) -> rule3))] Erin is not rough.[(triple9)] Erin is smart.[(triple10 OR ((triple7) -> rule1))] Erin is white.[(triple11 OR ((triple6) -> rule6))] Harry is cold.[(triple12)] Harry is furry.[(triple13)] Harry is rough.[(triple14)] Harry is white.[(triple15)]