Charlie is green. Dave is cold. Dave is furry. Dave is green. Dave is nice. Dave is rough. Dave is smart. Dave is young. Gary is furry. Gary is rough. Gary is smart. Gary is young. Harry is cold. Harry is furry. Harry is green. If Charlie is green then Charlie is nice. Nice people are rough. Furry people are nice. If Harry is cold and Harry is young then Harry is green. Smart people are young. All cold, green people are nice. If someone is smart then they are rough. If someone is furry then they are cold.
Harry is not smart.
@0: Charlie is green.[(triple1)] Dave is cold.[(triple2 OR ((triple3) -> rule8))] Dave is furry.[(triple3)] Dave is green.[(triple4)] Dave is nice.[(triple5 OR ((triple3) -> rule3) OR ((triple2 triple4) -> rule6) OR ((((triple3) -> rule8) triple4) -> rule6))] Dave is rough.[(triple6 OR ((triple5) -> rule2) OR ((triple7) -> rule7) OR ((((triple3) -> rule3)) -> rule2) OR ((((triple2 triple4) -> rule6)) -> rule2) OR ((((((triple3) -> rule8) triple4) -> rule6)) -> rule2))] Dave is smart.[(triple7)] Dave is young.[(triple8 OR ((triple7) -> rule5))] Gary is furry.[(triple9)] Gary is rough.[(triple10 OR ((triple11) -> rule7) OR ((((triple9) -> rule3)) -> rule2))] Gary is smart.[(triple11)] Gary is young.[(triple12 OR ((triple11) -> rule5))] Harry is cold.[(triple13 OR ((triple14) -> rule8))] Harry is furry.[(triple14)] Harry is green.[(triple15)] @1: Charlie is nice.[(((triple1) -> rule1))] Gary is cold.[(((triple9) -> rule8))] Gary is nice.[(((triple9) -> rule3))] Harry is nice.[(((triple14) -> rule3) OR ((triple13 triple15) -> rule6) OR ((((triple14) -> rule8) triple15) -> rule6))] @2: Charlie is rough.[(((((triple1) -> rule1)) -> rule2))] Harry is rough.[(((((triple14) -> rule3)) -> rule2) OR ((((triple13 triple15) -> rule6)) -> rule2) OR ((((((triple14) -> rule8) triple15) -> rule6)) -> rule2))]