Dave is smart. Dave is young. Erin is cold. Gary is blue. Gary is cold. Gary is furry. Gary is kind. Gary is rough. Gary is smart. Harry is blue. Harry is furry. Harry is kind. Harry is rough. Harry is smart. Harry is young. All blue, cold things are smart. If Erin is smart and Erin is young then Erin is cold. If Erin is kind and Erin is cold then Erin is young. Young, furry things are smart. All furry things are blue. Cold things are rough. If something is rough and furry then it is blue. If something is blue and smart then it is furry.
Harry is not furry.
@0: Dave is smart.[(triple1)] Dave is young.[(triple2)] Erin is cold.[(triple3)] Gary is blue.[(triple4 OR ((triple6) -> rule5) OR ((triple8 triple6) -> rule7) OR ((((triple5) -> rule6) triple6) -> rule7))] Gary is cold.[(triple5)] Gary is furry.[(triple6 OR ((triple4 triple9) -> rule8) OR ((triple4 ((triple4 triple5) -> rule1)) -> rule8))] Gary is kind.[(triple7)] Gary is rough.[(triple8 OR ((triple5) -> rule6))] Gary is smart.[(triple9 OR ((triple4 triple5) -> rule1) OR ((((triple6) -> rule5) triple5) -> rule1) OR ((((triple8 triple6) -> rule7) triple5) -> rule1) OR ((((((triple5) -> rule6) triple6) -> rule7) triple5) -> rule1))] Harry is blue.[(triple10 OR ((triple11) -> rule5) OR ((triple13 triple11) -> rule7))] Harry is furry.[(triple11 OR ((triple10 triple14) -> rule8))] Harry is kind.[(triple12)] Harry is rough.[(triple13)] Harry is smart.[(triple14 OR ((triple15 triple11) -> rule4))] Harry is young.[(triple15)] @1: Erin is rough.[(((triple3) -> rule6))]